[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: issue SYNTACTIC-ENVIRONMENT-ACCESS, version 5
- To: David A. Moon <Moon@STONY-BROOK.SCRC.Symbolics.COM>
 
- Subject: Re: issue SYNTACTIC-ENVIRONMENT-ACCESS, version 5
 
- From: sandra%defun@cs.utah.edu (Sandra J Loosemore)
 
- Date: Tue, 21 Mar 89 07:14:06 MST
 
- Cc: Eric Benson <eb@lucid.com>, cl-compiler@SAIL.STANFORD.EDU,        masinter.pa@XEROX.COM, cperdue@Sun.COM
 
- In-reply-to: David A. Moon <Moon@STONY-BROOK.SCRC.Symbolics.COM>, Mon, 20 Mar 89 23:30 EST
 
Perhaps we could use the (newly added) second return value from
VARIABLE-INFORMATION to tell whether the declaration or definition of
the variable is local or global, instead of whether there is a local
binding of the variable.  That would complicate things a little
though, because the interpretation of the second value would depend on
the first:
First value	Second value
 NIL		 Always NIL
 :SPECIAL        T = declared special, NIL = proclaimed special
 :LEXICAL        T = declared lexical or assumed lexical because of 
 		   local binding, NIL = proclaimed lexical
 :SYMBOL-MACRO   Always T
 :CONSTANT	 Always NIL 
-Sandra
-------