#5628: Deriving Eq on bottom types breaks reflexivity of (==)
---------------------------------+------------------------------------------
    Reporter:  tinctorius        |        Owner:                             
        Type:  bug               |       Status:  new                        
    Priority:  normal            |    Milestone:                             
   Component:  Compiler          |      Version:  7.2.1                      
    Keywords:                    |     Testcase:  deriving/should_run/T5628  
   Blockedby:                    |   Difficulty:                             
          Os:  Unknown/Multiple  |     Blocking:                             
Architecture:  Unknown/Multiple  |      Failure:  Incorrect result at runtime
---------------------------------+------------------------------------------
Changes (by simonpj):

  * testcase:  => deriving/should_run/T5628


Comment:

 Good point, thank you.  Fixed as above.

 Simon

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

_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to