[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:  merge                         
    Priority:  normal                            |   Milestone:                                
   Component:  Compiler                          |     Version:  7.7                           
    Keywords:  FunctionalDependencies PolyKinds  |          Os:  Unknown/Multiple              
Architecture:  Unknown/Multiple                  |     Failure:  None/Unknown                  
  Difficulty:  Unknown                           |    Testcase:  typecheck/should_compile/T7384
   Blockedby:                                    |    Blocking:                                
     Related:                                    |  
-------------------------------------------------+--------------------------
Changes (by simonpj):

  * status:  new => merge
  * difficulty:  => Unknown
  * testcase:  => typecheck/should_compile/T7384


Comment:

 Thanks.  This bug doesn't exist in 7.6, so no need to merge the second
 patch.  Ideally the first patch above should be merged if it goes across
 smoothly, but I'm not sure it's worth the effort.  So I'll mark it "merge"
 provisionally.

 Simon

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