On Aug 11, 2014, at 1:44 AM, Matthew Flatt <mfl...@cs.utah.edu> wrote:
> Answers below, but first a big caution: While these details have been > the same for a while, I hope and expect the representation of syntax > objects to change in the coming months. I have been threatening to > rewrite the macro expander (yes, in Racket) for a while, but things are > lining up so that I can actually start trying soon. This is off topic, but if your planning on rewriting the macro expander in Racket, would it be possible to make it so that syntax-local-introduce uses a parameter? That way for match expanders (etc.) it could set that parameter to a new syntax-introducer so that syntax-local-introduce could be used within match-expanders (etc.)? ____________________ Racket Users list: http://lists.racket-lang.org/users