On 9/17/13 10:34 PM, Daniel Colascione wrote: > On 9/17/13 8:06 PM, Stefan Monnier wrote: >> What other uses (besides symbol-macrolet) do you have for that >> macroexpand-environment-hook-tag? > > The labels code looks scary. I wonder whether it might benefit as well. Would you be more amenable to an implementation that ditched the expansion hook idea and instead just taught the core macroexpand-all how to expand symbol macros?