[plt-scheme] Possible hygiene bug?

From: Bradd W. Szonye (bradd+plt at szonye.com)
Date: Wed Oct 22 18:51:42 EDT 2003

Matthias Felleisen wrote:
> So now he caught me. Even though x stands for y when it's spliced into
> the lambda it must have a different counter (color) than the y that
> the macro introduces because both can be identifiers and may end up in
> a variable position (binding or bound). So when they finally do -- if
> lambda isn't redefined -- the different colors get turned into
> different bindings. If lambda is redefined and these things become
> symbols the colors are removed. That explains my stupid example.

Excellent way to explain this!
Bradd W. Szonye

Posted on the users mailing list.