Re: issue SYNTACTIC-ENVIRONMENT-ACCESS, version 5

[Dan L. Pierson <pierson@mist.encore.com>]

    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 
    
Seems reasonable.  I don't think the complication is significant since
what you want to do is likely to change as the first value changes anyway.