
26 Oct
2006
26 Oct
'06
4:50 p.m.
On 10/26/06, Bulat Ziganshin
wrote: are c.f. should work for polymorhic values? afaiu, it's just the problem that leads to the famous monomorhism restriction. w/o type specifier your expressions will got monomorhic types
These are small enough to be inlined, and are almost certainly going to be given monomorphic types after inlining, enabling constant folding.
Not on Yhc or in Hugs, which has neither constant folding or inlining (as far as I know, for Hugs). They may be free on GHC, but not in general. Thanks Neil