[GHC] #7384: Panic "ctEvTerm" when using functional dependencies and PolyKinds

[GHC]

#7384: Panic "ctEvTerm" when using functional dependencies and PolyKinds
------------------------------+---------------------------------------------
 Reporter:  goldfire          |          Owner:                                  
     Type:  bug               |         Status:  new                             
 Priority:  normal            |      Component:  Compiler                        
  Version:  7.7               |       Keywords:  FunctionalDependencies PolyKinds
       Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple                
  Failure:  None/Unknown      |       Testcase:                                  
Blockedby:                    |       Blocking:                                  
  Related:                    |  
------------------------------+---------------------------------------------

Comment(by simonpj@…):

 commit 545bb79667ebcbf5e776f76518cf68b4d507e7f5
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Tue Nov 6 16:12:39 2012 +0000

     Refine the "kick-out" predicate for CTyVarEq

     Consider
        Work item:   k ~ *
        Inert item:  (a::k) ~ Int

     Then we must kick out the inert item!  We weren't doing that,
     something I discovered when fixing Trac #7384.

     Discussed with Dimitrios, and we wrote a long comment
     Note [Delicate equality kick-out] to explain.

  compiler/typecheck/TcInteract.lhs |   67
 +++++++++++++++++++++---------------
  1 files changed, 39 insertions(+), 28 deletions(-)
 }}}

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