[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
issue PROCLAIM-LEXICAL
- To: jeff%aiai.edinburgh.ac.uk@NSS.Cs.Ucl.AC.UK
- Subject: issue PROCLAIM-LEXICAL
- From: Jon L White <jonl@lucid.com>
- Date: Tue, 7 Feb 89 12:44:07 PST
- Cc: @sail.stanford.edu:jonl@lucid.com, Moon@scrc-stony-brook.arpa, @cs.utah.edu:sandra@defun, KMP@scrc-stony-brook.arpa, masinter.pa@xerox.com, cl-cleanup@sail.stanford.edu
- In-reply-to: Jeff Dalton's message of Thu, 2 Feb 89 15:46:17 GMT <8811.8902021546@subnode.aiai.ed.ac.uk>
re: I think these two cases should be analogous. The only reason that
they should not be (that I can see) is that PROCLAIM is somehow
"more magic" than placing the corresponding declaration on every
binding. And if it is "more magic", I think it should not be.
Rather than reply to each of the various question you raise, maybe this
last one is the important one. Yes, a proclamation is more pervasive
than any bounded set of DECLARE's inserted into code. In particular,
the DECLAREs (of your examples) are in the same lexical scope; but
the PROCLAIM might even be in another separately-compiled file.
-- JonL --