projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 56883a7) | patch
[project @ 2001-11-08 19:34:23 by sof]
authorsof <unknown>
Thu, 8 Nov 2001 19:34:23 +0000 (19:34 +0000)
committersof <unknown>
Thu, 8 Nov 2001 19:34:23 +0000 (19:34 +0000)
commit629b8c60bf0656a2a977e12a6f1f05c04dc00959
treef944c24e827646d7b7d9880b358d92853eb5aafatree | snapshot
parent56883a7f06775ed47b21f5ff5c0c31ed99665195commit | diff
[project @ 2001-11-08 19:34:23 by sof]
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).
ghc/compiler/typecheck/TcGenDeriv.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)