#7961: Remove restrictions on promoting GADT's
-----------------------------+----------------------------------------------
Reporter: danharaj | Owner:
Type: feature request | Status: new
Priority: normal | Component: Compiler
Version: 7.6.3 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Blockedby:
Blocking: | Related: #6204
-----------------------------+----------------------------------------------
Comment(by carter):
Hey Dan,
could you give some examples of "code you'd want to be able to write" vs
"ways you have to encode it as ghc currently stands"?
Also, the ticket number your refer to doesn't exist, which ticket do you
mean?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7961#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
