Re: Macros expanding into declarations

[masinter.pa@Xerox.COM]

Steve,

You are not alone in having the experience of implementing PARSE-BODY based
on that discussion.

I think it was part of the complexity issues raised by that discussion, the
imponderable of 
(macrolet ((adeclare () '(declare (special x))))
    (adeclare)
    ...)

of symbol-macrolet expressions expanding into declare, and several other
ugliness, compiled with the nearly empty set of practical applications,
that convinced us that this was a Bad Idea and to propose removing it to
X3J13.

The X3J13 body approved this proposal, and I believe the vote was either
unanimous or nearly so.