[r6rs-discuss] [Formal] preposterous mustard

[Michael Sperber]

Felix Klock <pfr6rs at pnkfx.org> writes:

> On Feb 5, 2007, at 7:18 AM, Michael Sperber wrote:
>
>> I see your point for `letrec', which you describe separately.
>> However, for `letrec*' order of evaluation is specified.  So the
>> comment about "exhaustive search of the order-of-evaluation space"
>> doesn't seem to apply.  Am I missing something?
>
> The order of evaluation of the bindings themselves is specified by
> letrec*.
>
> But the order of evaluation of the argument expressions in an
> invocation subexpression on the right-hand-side of a particular
> binding is not specified.

Ah, *that* order of evaluation.  Thanks for explaining!

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla