23 Feb
2008
23 Feb
'08
8:24 p.m.
On Sat, Feb 23, 2008 at 3:52 PM, Lemmih
Hiya,
I've encountered something I don't understand in E.Subst. The substitution routine is very eager to inline stuff. It inlines all the simple applications it can find. Consider the following example: (\a -> a+a) expensive The substitution routine will inline that to: expensive+expensive Wouldn't it be prudent to generate this instead: let a = expensive in a + a
Whether to inline it further would be decided later on.
Actually, it might be wise not to do any optimizations in the substitution routine. I assume constant applications are handled elsewhere as well? -- Cheers, Lemmih