#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
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
