[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
issue SYNTACTIC-ENVIRONMENT-ACCESS, version 5
- To: Sandra J Loosemore <email@example.com>
- Subject: issue SYNTACTIC-ENVIRONMENT-ACCESS, version 5
- From: David A. Moon <Moon@STONY-BROOK.SCRC.Symbolics.COM>
- Date: Tue, 21 Mar 89 18:17 EST
- Cc: cl-compiler@SAIL.STANFORD.EDU, masinter.pa@XEROX.COM, cperdue@Sun.COM
- In-reply-to: <8903202329.AA10232@defun.utah.edu>
- Line-fold: No
I like this new version of SYNTACTIC-ENVIRONMENT-ACCESS:SMALL,
except for two minor comments:
The accessors VARIABLE-INFORMATION, FUNCTION-INFORMATION, and
DECLARATION retrieve information about declarations that are in
effect in the environment. Since implementations are permitted to
ignore declarations (except for SPECIAL declarations), these accessors
are required only to return information about declarations that were
explicitly added to the environment using AUGMENT-ENVIRONMENT.
I think this is wrong. Certainly if DECLARATION is to be useful
implementations must not be allowed to discard any of the declarations
it can return. As someone from an implementation that ignores type
declarations, I can say that I think all implementations should be
required to return all declarations from all three of these functions.
I think implementations should be permitted to ignore declarations
in the sense of the code generated by the compiler not being affected
by declarations, but should not be permitted to just throw declarations
away rather than putting them into the syntactic environment.
DECLARATION should be renamed DECLARATION-INFORMATION to match
with VARIABLE-INFORMATION and FUNCTION-INFORMATION.