[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: DECLARE SPECIAL Considered Confusing
- To: Pavel.pa@Xerox.COM
- Subject: Re: DECLARE SPECIAL Considered Confusing
- From: Robert W. Kerns <RWK@YUKON.SCRC.Symbolics.COM>
- Date: Mon, 14 Jul 86 16:46 EDT
- Cc: Moon@STONY-BROOK.SCRC.Symbolics.COM, Common-Lisp@SU-AI.ARPA
- In-reply-to: <860711-184339-1110@Xerox>
Date: 11 Jul 86 18:43 PDT
In this message I will give a complete description of my proposal for
declaration scoping. I won't attempt to argue for it on the basis of
``obviousness'' or clarity, though, because I think that there are
people who find each of the two ways of scoping special declarations
confusing. Rather, I like this way of doing things because it satisfies
an important (to me) consistency criterion: the scope of \any/
declaration coincides with a particular lexical identifier scope.
There are six primitive forms in Common Lisp that can both bind
identifiers and carry declarations:
LET LET* FLET LABELS MACROLET LAMBDA
I will describe the scoping rules for declarations in each of these
You forgot DEFUN and DEFMACRO (and similar top-level definers).
Those, I believe, would be unchanged by your proposal, no?