[GHC] #7128: Panic "lookupVarEnv_NF" when using a functional dependency with a kind variable

[GHC]

#7128: Panic "lookupVarEnv_NF" when using a functional dependency with a kind
variable
---------------------------------+------------------------------------------
  Reporter:  goldfire            |          Owner:                                  
      Type:  bug                 |         Status:  closed                          
  Priority:  normal              |      Milestone:  7.6.1                           
 Component:  Compiler            |        Version:  7.5                             
Resolution:  fixed               |       Keywords:  PolyKinds FunctionalDependencies
        Os:  Unknown/Multiple    |   Architecture:  Unknown/Multiple                
   Failure:  Compile-time crash  |     Difficulty:  Unknown                         
  Testcase:  polykinds/T7128     |      Blockedby:                                  
  Blocking:                      |        Related:                                  
---------------------------------+------------------------------------------
Changes (by pcapriotti):

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


Comment:

 Merged as 0cb389e5f07d29f92456a3c17361565b8b5ef865.

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