Builtin rules
Simon Peyton-Jones
simonpj@microsoft.com
Tue, 24 Apr 2001 16:05:05 -0700
No, it's a bug. Don't convert source rules to builtin ones!
I'll look at it when I get back (week of 30th)
Simon
| -----Original Message-----
| From: Marcin 'Qrczak' Kowalczyk [mailto:qrczak@knm.org.pl]
| Sent: 13 April 2001 15:45
| To: cvs-ghc@haskell.org
| Subject: Builtin rules
|=20
|=20
| When there is a builtin rule and a source rule on the same variable,
| the builtin rule seems to be ignored.
|=20
| For example there is a builtin rule for int2Word# applied to literals
| and a source rule for int2Word# (word2Int# x#), and int2Word# applied
| to literals is not computed at compile time.
|=20
| Is it a bug (in this case it should be fixed), or it should indeed
| work that way (in this case I will convert some source rules into
| builtin rules and add some rules as builtin rules instead of as
| source rules, e.g. x# <=3D# x# =3D True, to ensure that no variable =
has
| both kinds of rules)?
|=20
| --=20
| __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
| \__/
| ^^ SYGNATURA ZAST=CAPCZA
| QRCZAK
|=20
|=20
| _______________________________________________
| Cvs-ghc mailing list
| Cvs-ghc@haskell.org
| http://www.haskell.org/mailman/listinfo/cvs-ghc
|=20
|=20