[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
issue SYNTACTIC-ENVIRONMENT-ACCESS, version 5
- To: sandra%defun@cs.utah.edu
- Subject: issue SYNTACTIC-ENVIRONMENT-ACCESS, version 5
- From: Eric Benson <eb@lucid.com>
- Date: Mon, 20 Mar 89 16:09:38 PST
- Cc: cl-compiler@sail.stanford.edu, Moon@STONY-BROOK.SCRC.Symbolics.COM, masinter.pa@XEROX.COM, cperdue@Sun.COM
- In-reply-to: Sandra J Loosemore's message of Mon, 20 Mar 89 16:29:12 MST <8903202329.AA10232@defun.utah.edu>
This doesn't provide a way to distinguish pervasively SPECIAL
(proclaimed) variables from locally SPECIAL (declared) variables.
This is important because new bindings of names which are pervasively
SPECIAL are special bindings, while new bindings of names which are
locally SPECIAL (except those to which the declaration is attached)
are lexical bindings. This is just the sort of thing a code walker
should do correctly. I propose that instead of VARIABLE-INFORMATION
returning :SPECIAL as the first value, it should return
:PROCLAIMED-SPECIAL or :DECLARED-SPECIAL.
I would be happier if this difference between SPECIAL proclamations
and SPECIAL declarations were removed. Does anyone have an opinion on
this? I guess it's too late for another cleanup issue.