DECLARE-MACROS (Version 1)

[Kent M Pitman <KMP@STONY-BROOK.SCRC.Symbolics.COM>]

    Date: Mon, 9 Nov 87 13:53 EST
    From: David A. Moon <Moon@STONY-BROOK.SCRC.Symbolics.COM>

    This looks ready to release, with two minor wording corrections:
    ...

      Make it illegal for a macro call to expand into a DECLARE form and be
      recognized as such.

    Strictly speaking there is no such thing as a DECLARE form, since a list
    whose car is the symbol DECLARE is an error to evaluate.  CLtL p.153
    uses the term "declaration" for this, although I admit it also says
    "declare form" in one place.  Anyway I'd feel more comfortable if we
    said "declaration" here.

How about "declare expression"? I had deliberately avoided the term
"declaration" because I wasn't clear if a "proclaim form" was a
declaration. Perhaps we should explicitly acknowledge that we don't intend
to keep macros from expanding into declare forms to avoid later confusion
on the issue.