Re: [racket-users] Lexical context for all-defined-out

2017-04-26 Thread Philip McGrath
Thanks, that does the trick! -Philip On Wed, Apr 26, 2017 at 6:27 PM, Matthew Flatt wrote: > The `all-defined-out` macro supports a trick that several non-hygienic > macros use: it uses the scopes on the parentheses around > `all-defined-out` non-hygienically, instead of

Re: [racket-users] Lexical context for all-defined-out

2017-04-26 Thread Matthew Flatt
The `all-defined-out` macro supports a trick that several non-hygienic macros use: it uses the scopes on the parentheses around `all-defined-out` non-hygienically, instead of the scopes on the identifier. So, in place of (datum->syntax stx '(all-defined-out))) you can use (datum->syntax stx

[racket-users] Lexical context for all-defined-out

2017-04-26 Thread Philip McGrath
I'm working on a #%module-begin variant that provides all module-level bindings, and I'm having trouble finding the right way to give lexical context to all-defined-out. The issue (IIUC) is that all-defined-out only exports identifiers "that have the same lexical context as the (all-defined-out)