Common Lisp compilers are not required to do any work at all, or even to exist for a given implementation. So it is legal for a CL compiler to look at your macrolet and just pass it on through untouched. However, it would be much more tasteful to compile the included forms, with the lexically scoped macros in effect. -- Scott