[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: environment arguments and compiler contexts and ...
- To: IIM@ECLA.USC.EDU, email@example.com
- Subject: Re: environment arguments and compiler contexts and ...
- From: cperdue@Sun.COM (Cris Perdue)
- Date: Tue, 3 Jan 89 09:54:59 PST
- Cc: cl-compiler@SAIL.STANFORD.EDU
> . . . 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