Simon Peyton-Jones wrote:
| But no constant folding for divInt# until phase 0. I suspect that
| constant folding is more important than rules.
Sorry don't understand. You mean you don't want constant folding until P0? Or
what?
I mean I we don't *get* constant folding until P0. That's might be a bit
too late as we might miss subsequent optimisations in earlier phases.
I've remembered that of course constant folding etc is baked into PrelRules,
but you could add stuff for divInt.
Hmm... Can built-in and user-defined rules for the same function
coexist? If so, this would probably work (with a bit more effort than if
divInt# was a primop, though).
Roman
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc