[GHC] #4485: Per-class incoherence, and solve incoherent instances last

GHC cvs-ghc at haskell.org
Mon Nov 15 09:39:05 EST 2010


#4485: Per-class incoherence, and solve incoherent instances last
---------------------------------+------------------------------------------
    Reporter:  JeremyShaw        |        Owner:                                 
        Type:  bug               |       Status:  new                            
    Priority:  normal            |    Milestone:  7.2.1                          
   Component:  Compiler          |      Version:  7.0.1 RC1                      
    Keywords:                    |     Testcase:  indexed-types/should_fail/T4485
   Blockedby:                    |   Difficulty:                                 
          Os:  Unknown/Multiple  |     Blocking:                                 
Architecture:  Unknown/Multiple  |      Failure:  GHC rejects valid program      
---------------------------------+------------------------------------------
Changes (by simonpj):

  * testcase:  => indexed-types/should_fail/T4485


Comment:

 Added a regression test for the instance-overlap crash.

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


More information about the Glasgow-haskell-bugs mailing list