[r6rs-discuss] [Formal] Violation of lexical scoping

[AndrevanTonder]

On Mon, 23 Oct 2006, AndrevanTonder wrote:

> The expansion process violates lexical scoping.

Her is an even simpler example where r6rs gives a 
lexical-scoping-violation semantics to a valid expression:

      (import r6rs)

      (let ()
        (define-syntax foo (lambda (e) (+ 1 2)))
        (define + 2)
        (foo))            ==> 3

The expression should instead be a syntax error.

Andre