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

From: AndrevanTonder <andre>
Date: Fri Mar 16 11:40:02 2007

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
Received on Fri Mar 16 2007 - 11:39:28 UTC