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