<div class="gmail_quote">On Sat, Nov 21, 2009 at 5:14 AM, Carl Eastlund <<a href="mailto:carl.eastlund@gmail.com">carl.eastlund@gmail.com</a>> wrote: <blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> Marco (I almost typed "Macro" in place of your name), Why do you need to use "Y" to perform the recursive expansion? Why not just have your #%module-begin run local-expand on a regular #%module-begin wrapped around the contents, and post-process the fully expanded result? You can go from unexpanded code to expanded code in one non-recursive line of code. Then you can emit whatever code you want. And you don't need to emit lists (in fact, emitting lists will give you *bad* results with respect to hygienic macro expansion) if you want "Scheme ASTs". Syntax objects are Scheme ASTs, and have source location information -- you might as well just keep the whole syntax object around. The only real work you'll need to do is replacing top level expressions and the bodies of top level definitions with stubs (calls to void), and that's very shallow processing. --Carl </blockquote></div> You are right, of course. I was under the impression that local-expand only expands the immediate subform. I'm sorry for wasting yor time. Marco