Re: environment arguments and compiler contexts and ...

[cperdue@Sun.COM (Cris Perdue)]

> . . .  I suspect that an
> "industrial strength" program analyzer would want to have special
> knowledge about *most* built-in Common Lisp macros, rather than just
> expanding them blindly.  The reason for this is that many compilers
> treat them as special forms, and while the macro expansions are
> correct, they are often much less efficient.  . . . 

There is also another problem in that the macros may expand into
calls to functions that are implementation-specific.  Expanding
into implementation-dependent special forms is opposed in CLtL,
but *functions* are OK, and this is enough to make a program
analyzer ineffective unless it understands the defining macros
themselves.