[GHC] #5095: Incoherent instance for Prelude type class accepted without incoherent instances option

GHC cvs-ghc at haskell.org
Wed Aug 3 18:07:56 CEST 2011


#5095: Incoherent instance for Prelude type class accepted without incoherent
instances option
----------------------------------------+-----------------------------------
    Reporter:  brunosoliveira           |        Owner:                             
        Type:  bug                      |       Status:  merge                      
    Priority:  normal                   |    Milestone:  7.4.1                      
   Component:  Compiler (Type checker)  |      Version:  7.0.1                      
    Keywords:                           |     Testcase:  typecheck/should_fail/T5095
   Blockedby:                           |   Difficulty:                             
          Os:  Unknown/Multiple         |     Blocking:                             
Architecture:  Unknown/Multiple         |      Failure:  GHC accepts invalid program
----------------------------------------+-----------------------------------
Changes (by simonpj):

  * status:  new => merge
  * testcase:  => typecheck/should_fail/T5095


Comment:

 Thanks for identifying this bug so precisely.  Fixed!

 Simon

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



More information about the Glasgow-haskell-bugs mailing list