[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:  merge                         
    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):

  * status:  new => merge


Comment:

 Fixed by
 {{{
 Wed Oct 20 02:09:46 PDT 2010  simonpj at microsoft.com
   * Refactor, plus fix Trac #4418

   We weren't doing fundeps for derived superclasses

     M ./compiler/typecheck/TcInteract.lhs -119 +99
 }}}
 Pls merge

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