[GHC] #4418: Superclass functional dependencies are ignored during instance selection

[GHC]

#4418: Superclass functional dependencies are ignored during instance selection
----------------------------------------+-----------------------------------
    Reporter:  reinerp                  |        Owner:                                
        Type:  bug                      |       Status:  new                           
    Priority:  normal                   |    Milestone:                                
   Component:  Compiler (Type checker)  |      Version:  7.1                           
    Keywords:                           |     Testcase:  typecheck/should_compile/T4418
   Blockedby:                           |   Difficulty:                                
          Os:  Unknown/Multiple         |     Blocking:                                
Architecture:  Unknown/Multiple         |      Failure:  GHC rejects valid program     
----------------------------------------+-----------------------------------
Changes (by simonpj):

  * testcase:  => typecheck/should_compile/T4418


Comment:

 Good catch. Amazingly the test suite lacks a test for this case.  I'm
 validating a fix now.

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