Subject: Re: Macros in Common Lisp, Scheme, and other languages From: Erik Naggum <erik@naggum.no> Date: 07 Sep 2002 16:44:03 +0000 Newsgroups: comp.lang.lisp,comp.lang.scheme,comp.lang.functional Message-ID: <3240405843026883@naggum.no> * Paul F. Dietz | Beyond that, it would be nice if CL macro forms could be analyzed in | some way before being expanded, so one could do type propagation before | or interleaved with macro expansion. Since the compiler expands the macro and then works on the resulting code with all type propagation from the environment available for the existing bindings, I am not sure what this means. The purpose of environment information is to make it possible to make macro-expansion decisions in addition to the ones the compiler makes after expansion. -- Erik Naggum, Oslo, Norway Act from reason, and failure makes you rethink and study harder. Act from faith, and failure makes you blame someone and push harder.