#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 Isaac Dupree):

 Replying to [comment:5 duncan]:
 > 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.

 I don't know what this feature request is "about". But I'll note that some
 people do want strictness in types other than data declarations, for
 example, http://article.gmane.org/gmane.comp.lang.haskell.cafe/34857

 also my comment about GADT syntax is #1768

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1349#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to