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

[AndrevanTonder]

A small issue: I have noticed that 10.9 addresses programs such as

   (define x (set! y 1))
   (define y 2)

This kind of thing is illegal in the current specification.

Andre