#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_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
