[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 branch
Component:  Compiler  |        Version:  6.6.1      
 Severity:  normal    |     Resolution:             
 Keywords:            |     Difficulty:  Unknown    
 Testcase:            |   Architecture:  Unknown    
       Os:  Unknown   |  
----------------------+-----------------------------------------------------
Comment (by duncan):

 Replying to [comment:3 Isaac Dupree]:
 > 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
 > }}}

 This feature request is not about distinguishing strictness in types as
 the above would indicate. It's about changing the strictness and data
 representation of data type constructors that have higher order
 components.

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