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

GHC cvs-ghc at haskell.org
Wed Aug 22 16:31:37 CEST 2012


#7171: erroneous overlapping instances reported with FunDeps
---------------------------------------------+------------------------------
  Reporter:  jwlato                          |          Owner:                       
      Type:  bug                             |         Status:  closed               
  Priority:  normal                          |      Milestone:                       
 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 simonpj):

 That is very strange.  The patches I ''thought'' were important have been
 merged. I'll build 7.6 and try wit that.  It's great to have your small
 test case, thank you.

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



More information about the Glasgow-haskell-bugs mailing list