#5628: Deriving Eq on bottom types breaks reflexivity of (==) ---------------------------------+------------------------------------------ Reporter: tinctorius | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.2.1 | Keywords: Testcase: | Blockedby: Os: Unknown/Multiple | Blocking: Architecture: Unknown/Multiple | Failure: Incorrect result at runtime ---------------------------------+------------------------------------------
Comment(by simonpj@…): commit 078b891f9d64c70cc72637be9e6a274275244990 {{{ Author: Simon Peyton Jones <simo...@microsoft.com> Date: Tue Nov 15 17:17:28 2011 +0000 Fix Trac #5628: equality on data types with no constructors compiler/typecheck/TcGenDeriv.lhs | 27 ++++++++++++++++----------- 1 files changed, 16 insertions(+), 11 deletions(-) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5628#comment:2> 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