[GHC] #3108: Do a better job of solving recursive type-class constraints with functional dependencies

[GHC]

#3108: Do a better job of solving recursive type-class constraints with functional
dependencies
----------------------------------------+-----------------------------------
    Reporter:  simonpj                  |       Owner:                                   
        Type:  bug                      |      Status:  new                              
    Priority:  high                     |   Milestone:  7.6.1                            
   Component:  Compiler (Type checker)  |     Version:  6.10.1                           
    Keywords:                           |          Os:  Unknown/Multiple                 
Architecture:  Unknown/Multiple         |     Failure:  None/Unknown                     
  Difficulty:  Unknown                  |    Testcase:  typecheck/should_compile/T3108.hs
   Blockedby:                           |    Blocking:                                   
     Related:                           |  
----------------------------------------+-----------------------------------

Comment(by simonmar):

 dimitris: you left the ticket open, should it be closed now?

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