id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
1793	r7rs incompatibility regarding identifier renames in macro expansion	sjamaan		"See [https://srfi-email.schemers.org/srfi-211/msg/17138733/ 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..."	defect	closed	major	6.0.0	expander	5.2.0	worksforme			hard