On Wed, Jun 12, 2013 at 12:07 PM, Barton Willis <willisb at unk.edu> wrote:
> If the substitute a lambda form for a function idiom stops working
> as I want it to, that's OK. I'll just write my own substitute :)
How do you want it to work?
For what it's worth, there isn't any proposal to disallow such a
substitution -- only that simplification of the result
should not evaluate the lambda expression. So presumably
evaluating the result should give the same result as one gets
from subst(lambda ...) now.
best
Robert Dodier