On Apr 25, 2016, at 3:43 PM, Matthew Butterick <[email protected]> wrote:
> A macro that wants to put identifiers in a binding position MUST produce the > whole binding form for those identifiers. In the end and in general, yes. Since the kernel is very small and expands all surface language to a rather small set of binding constructs, whose binding position is _not_ the target of expansion (e.g. lambda's parameter position), you need to generate the whole thing. In the special case when you already have a macro whose interface can be extended to incorporate extensions (such as match), then you might be able to sneak in expansions in binding positions. -- Matthias -- 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
