[r6rs-discuss] [Formal] Formal semantics should not contain complicating optimizations

[AndrevanTonder]

On Fri, 16 Mar 2007, AndrevanTonder wrote:

>     (letrec* ((x (set! y 1))
>               (y y))
>       y)

Correction - that should be

      (letrec* ((x (set! y 1))
                (y 2))
        y)

It is still illegal.

Andre