[plt-scheme] Possible hygiene bug?

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
http://www.szonye.com/bradd