[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:                           |  
----------------------------------------+-----------------------------------
Changes (by dimitris):

  * testcase:  => typecheck/should_compile/T3108.hs


Comment:

 Done, part of the bigger commit: f15977c24f2ec96ea324cc7e8122f17ffe8b931c
 Also test added in typecheck/should_compile.

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