cvs commit: fptools/ghc/compiler/typecheck TcGenDeriv.lhs

Sigbjorn Finne sof@glass.cse.ogi.edu
Thu, 8 Nov 2001 11:34:23 -0800


sof         2001/11/08 11:34:23 PST

  Modified files:
    ghc/compiler/typecheck TcGenDeriv.lhs 
  Log:
  gen_Eq_binds: when comparing constructor tags, emit just
  
     a == b = case con2tag_Foo# a of
                a# -> case con2tag_Foo# b of b# -> a# PrelGHC.==# b#
  
  and not
  
     a == b = case con2tag_Foo# a of
                a# -> case con2tag_Foo# b of
                        b# -> if a# PrelGHC.==# b# then PrelBase.True else PrelBase.False
  
  (Not that this wouldn't get simplified, but still).
  
  Revision  Changes    Path
  1.77      +12 -11    fptools/ghc/compiler/typecheck/TcGenDeriv.lhs