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

From: AndrevanTonder <andre>
Date: Tue Oct 24 15:44:58 2006

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
Received on Tue Oct 24 2006 - 15:41:27 UTC