[GHC] #7090: Panic "mkCoVarLCo" with ConstraintKinds and type-level equality

[GHC]

#7090: Panic "mkCoVarLCo" with ConstraintKinds and type-level equality
---------------------------------+------------------------------------------
  Reporter:  goldfire            |          Owner:  dimitris        
      Type:  bug                 |         Status:  closed          
  Priority:  normal              |      Milestone:  7.6.1           
 Component:  Compiler            |        Version:  7.5             
Resolution:  fixed               |       Keywords:  ConstraintKinds 
        Os:  Unknown/Multiple    |   Architecture:  Unknown/Multiple
   Failure:  Compile-time crash  |     Difficulty:  Unknown         
  Testcase:  polykinds/T7090     |      Blockedby:                  
  Blocking:                      |        Related:                  
---------------------------------+------------------------------------------
Changes (by pcapriotti):

  * status:  merge => closed
  * resolution:  => fixed


Comment:

 Merged as 428bee9c31d1f9ea37e72885dd41baba6c016811.

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