[plt-scheme] checking my macro understanding.

> I've run into this problem even without module-producing macros, in
> my test cases for the macro stepper. I can't use the #' notation for
> the module declaration test data because it makes the modules expand
> wrong. I use plain S-expressions instead, but then I lose the other
> information like source locations.

I wrote a scope-destroying function to take syntaxes and rip out the 
binding information:

http://hashcollision.org/svn/repos/projects/plt-misc/erase-lexical-scope.ss

Not quite right yet (it doesn't handle vectors), but it's what I've used 
in the past to avoid those sort of problems.