[GHC] #7171: erroneous overlapping instances reported with FunDeps

[GHC]

#7171: erroneous overlapping instances reported with FunDeps
---------------------------------------------+------------------------------
  Reporter:  jwlato                          |          Owner:                       
      Type:  bug                             |         Status:  closed               
  Priority:  highest                         |      Milestone:  7.6.1                
 Component:  Compiler (Type checker)         |        Version:  7.6.1-rc1            
Resolution:  fixed                           |       Keywords:  type classes, fundeps
        Os:  Unknown/Multiple                |   Architecture:  Unknown/Multiple     
   Failure:  GHC rejects valid program       |     Difficulty:  Unknown              
  Testcase:  typecheck/should_compile/T7171  |      Blockedby:                       
  Blocking:                                  |        Related:                       
---------------------------------------------+------------------------------

Comment(by jwlato):

 I am happy to confirm that this is fixed for me with ghc-7.6.0.20120822.
 I think you meant the Hets issue in #7150; ticket #7050 appears unrelated.

 Anyway, thanks again for fixing this, I'm glad the test case was helpful.

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