[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:  new                             
 Priority:  normal              |      Component:  Compiler                        
  Version:  7.5                 |       Keywords:  PolyKinds FunctionalDependencies
       Os:  Unknown/Multiple    |   Architecture:  Unknown/Multiple                
  Failure:  Compile-time crash  |       Testcase:                                  
Blockedby:                      |       Blocking:                                  
  Related:                      |  
--------------------------------+-------------------------------------------

Comment(by simonpj@…):

 commit e949162653b65d8e48573e84583c6509be2f24ed
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Tue Aug 14 17:06:00 2012 +0100

     Fix Trac #7128, by zonking kind varaibles more assiduously when
 typechecking a class declaration

  compiler/typecheck/TcHsSyn.lhs      |    2 +-
  compiler/typecheck/TcTyClsDecls.lhs |   19 +++++++++++++++----
  2 files changed, 16 insertions(+), 5 deletions(-)
 }}}

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