[GHC] #7006: Panic when promoted GADT arguments cross module boundaries

[GHC]

#7006: Panic when promoted GADT arguments cross module boundaries
---------------------------------+------------------------------------------
  Reporter:  anders_             |          Owner:                
      Type:  bug                 |         Status:  closed        
  Priority:  normal              |      Milestone:                
 Component:  Compiler            |        Version:  7.4.1         
Resolution:  fixed               |       Keywords:  DataKinds     
        Os:  MacOS X             |   Architecture:  x86_64 (amd64)
   Failure:  Compile-time crash  |     Difficulty:  Unknown       
  Testcase:                      |      Blockedby:                
  Blocking:                      |        Related:                
---------------------------------+------------------------------------------
Changes (by simonpj):

  * status:  new => closed
  * difficulty:  => Unknown
  * resolution:  => fixed


Comment:

 Thanks.  I think this is the same as #6011 and #6025, but your example is
 fine in HEAD.  We won't fix it in 7.4, because kind polymorphism is not an
 advertised feature of 7.4.

 Simon

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