r7rs incompatibility regarding identifier renames in macro expansion

[sjamaan]

See ​this post:

(let ([x 'outer])
   (define-syntax m
     (syntax-rules ()
       ((m a)
        (let ([a 'inner]) x))))
   (m x)) ;; Should return 'outer, which we do

(let ([x 'outer])
   (define-syntax m
     (syntax-rules ()
       ((m a)
        (begin
          (define a 'inner)
          x))))
   (m x)) ;; Should return 'inner, which we don't

It makes sense, because the outer x variable is passed in as a, which is then redefined to inner, and whether we return a or x should not matter, the result should be the same.

Not sure why this wouldn't be valid in R5RS though...

[sjamaan]

NOTE: This might be due to the duplicate lookup in ##sys#current-environment as mentioned in #1131

[felix winkelmann]

I can't reproduce this with the current version, perhaps this was fixed in the meantime by a correction related to this.