[GHC] #7961: Remove restrictions on promoting GADT's

[GHC]

#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