[GHC] #1349: Generalise the ! and UNPACK mechanism for data types, to unpack function arguments

[GHC]

#1349: Generalise the ! and UNPACK mechanism for data types, to unpack function
arguments
-------------------------+--------------------------------------------------
    Reporter:  simonpj   |        Owner:         
        Type:  task      |       Status:  new    
    Priority:  normal    |    Milestone:  6.10   
   Component:  Compiler  |      Version:  6.6.1  
    Severity:  normal    |   Resolution:         
    Keywords:            |   Difficulty:  Unknown
          Os:  Unknown   |     Testcase:         
Architecture:  Unknown   |  
-------------------------+--------------------------------------------------
Changes (by Isaac Dupree):

  * cc:  kfrdbs at gmail.com => kfrdbs at gmail.com,
         id at isaac.cedarswampstudios.org

Comment:

 seems tricky. I hope it can be done in a way that makes the language feel
 no more complicated. e.g.
 {{{
 type F = !Int -> Foo
 data Foo where C :: F
 }}}
 seems fine and similar to something I've wanted to do (but didn't try)
 (when there were multiple similar signatures in my GADT).  The explicit
 signature on a thing (of course, explicit signatures are required for data
 declarations) is what can coerce it to be strict, I guess.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1349>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler