#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