Hi All, I'm trying to figure out how best to implement the following pattern of macro behavior:
Let's say we are writing Loop macro that implements a looped computation over a specified body. I would like to then be able to (a) introduce additional Loop-specific macros that are defined only within the scope of the body (b) are able to coordinate with the outer macro so as to alter its generation of prologue and epilogue code. My best guess here is some use of local-expand with syntax-local-bind-syntaxes, or perhaps syntax-parameterize, but I can't quite work out the appropriate constructions. I've been able to implement something similar using syntax-case functions on syntax objects at phase-0, by essentially implementing my own namespace for macros and passing it as an explicit argument, but this loses the hygiene benefits of coordinating with expand. I had an offline discussion with Shriram yesterday in which he suggested looking into ways to reify the expansion-time namespace, but obviously current-namespace does the wrong thing here. Thanks in advance for any help =) -- 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.
