#7961: Remove restrictions on promoting GADT's
---------------------------------+------------------------------------------
Reporter: danharaj | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.3
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: #6204 |
---------------------------------+------------------------------------------
Changes (by adamgundry):
* cc: adam.gundry@… (added)
Comment:
Replying to [comment:9 carter]:
> Is there any public links to the associated Conor + Adam line of attack?
Not yet, sadly. My thesis (coming real soon now) explores some
alternatives in the presentation of the core language, and builds on
Richard's work to add Pi-types. The basic plan (to make things more
uniform by eliminating the type/kind distinction) is a good one.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7961#comment:12>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
