Craig> At 09:38 AM 8/26/98 +0200, Michael Sperber [Mr. Preprocessor] wrote: >>>> Craig> At 09:33 AM 8/25/98 +0200, Michael Sperber [Mr. Preprocessor] wrote: Clemens> What is "the right thing"? Craig> Which time? Scoping rules get applied to CL macros twice, once when the Craig> macro function is executed, and again when the result of the macro is Craig> executed. (Let's remember, a macro is just a function that returns an Craig> executable form as its value.) Craig> That doesn't make any sense. The function aspect of the macro *IS* being Craig> run within the lexical scope of its definition. The expansion of a macro Craig> is *NOT* its body it is the return value. Sorry about the confusion of terms. However, what you're saying is an accurate analysis of the problem with CL's macro system. *Of course* things don't make any sense in the context of the CL macro system, which is precisely why CL macros (or their expansions) cannot follow the scoping rules of the language. -- Cheers =8-} Chipsy Friede, Völkerverständigung und überhaupt blabla