[jhc] Re: Substitutions.
lemmih at gmail.com
Sat Feb 23 09:54:39 EST 2008
On Sat, Feb 23, 2008 at 3:52 PM, Lemmih <lemmih at gmail.com> wrote:
> 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:
> 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?
More information about the jhc