Re: [racket-users] How to write a #%module-begin that inspects a syntax property post expansion?

2016-05-09 Thread Matthew Flatt
At Sun, 8 May 2016 21:40:04 -0700 (PDT), Jack Firth wrote:
> I'm writing a series of macros that attach metadata using syntax properties 
> during expansion, and I'm attempting to write a #lang whose module-begin form 
> expands the module and then inspects the metadata attached. The problem I'm 
> getting is that local-expand seems to not "expand enough" - it returns a 
> partially expanded syntax object in which the macros that attach the metadata 
> haven't run yet. I'm not sure how to fully expand the syntax object in the 
> context of a module begin form. Do I need to do something with the stop-ids 
> argument to local-expand to do this properly?

Unless you provide a non-empty stop list to `local-expand`, then it
should fully expand. Can you provide an example to demonstrate the
problem?

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


[racket-users] How to write a #%module-begin that inspects a syntax property post expansion?

2016-05-08 Thread Jack Firth
I'm writing a series of macros that attach metadata using syntax properties 
during expansion, and I'm attempting to write a #lang whose module-begin form 
expands the module and then inspects the metadata attached. The problem I'm 
getting is that local-expand seems to not "expand enough" - it returns a 
partially expanded syntax object in which the macros that attach the metadata 
haven't run yet. I'm not sure how to fully expand the syntax object in the 
context of a module begin form. Do I need to do something with the stop-ids 
argument to local-expand to do this properly?

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.