[GHC] #5628: Deriving Eq on bottom types breaks reflexivity of (==)

[GHC]

#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 <simonpj at 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