[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             |  
---------------------------------+------------------------------------------

Comment(by goldfire):

 I'm curious to see Simon speak for himself here, but that comment was
 inspired by the fact that implementing the type system in that paper adds
 a reasonable-sized dollop of complexity to GHC, and to a specific spot on
 which the soundness of the whole operation depends. (Reasonable people
 differ on what a reasonable-sized dollop of complexity is, of course.)
 Simon has expressed reluctance at merging and complicating GHC. We are
 consumed by other tasks at the moment, but I'm looking forward to pressing
 this issue more in a few weeks. The comment that it could be merged by
 midsummer remains a hopeful but sensible goal.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7961#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler