identifier equivalence bug

[SaitoAtsushi]

Hello. I found a bug.
There is difference between expectation and behavior in case of following.

(let ((unquote 'foo)) `(,'bar))

expect:
(,'bar) or ((unquote (quote bar)))

behavior:
(bar)

[justinethier]

Thanks for the report. I see that Chibi and Chicken have the expected behavior, although Bigloo prints (bar).

Maybe I just need more time, but can you explain a bit more why you expect a result other than (bar)?

[SaitoAtsushi]

See 4.2. "The constructs in this section are hygienic, as discussed in section 4.3."

This section contain quasiquote.

There is a concrete example for explain hygine in the later of section 4.3.2.

[justinethier]

The issue was that the syntax-rules system was not passing renamed variables across to the explicit renaming macro system that is used to implement quasi-quotation. So an identifier could be renamed by syntax-rules but the ER macro would then be unable to use rename to make the identifier hygienic. This has been fixed.

Thanks again :)