> > At the time 'def' is expanded, the lexical context of 'function-stx' does > not include the bindings of 'args'. But then the macro produces an > expression with that term inside a 'quote-syntax' form that is inside the > scope of the 'args'. So by the time the expander gets to the 'quote-syntax' > form, the lexical context of the original term has been enriched with the > 'args' bindings.
Ah ha! So that's where my mental model is diverging from reality. Thank you. For some reason, I had been thinking that the transformer-time expression in the syntax-parameterize was somehow impervious to the lexical enrichment process. _________________________ Racket Developers list: http://lists.racket-lang.org/dev
