[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
DECLARE-MACROS (Version 1)
- To: Moon@STONY-BROOK.SCRC.Symbolics.COM
- Subject: DECLARE-MACROS (Version 1)
- From: Kent M Pitman <KMP@STONY-BROOK.SCRC.Symbolics.COM>
- Date: Mon, 9 Nov 87 13:58 EST
- Cc: KMP@STONY-BROOK.SCRC.Symbolics.COM, CL-Cleanup@SAIL.STANFORD.EDU
- In-reply-to: <19871109185339.6.MOON@EUPHRATES.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.