[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: issue SYNTACTIC-ENVIRONMENT-ACCESS
- To: cperdue@Sun.COM (Cris Perdue)
- Subject: Re: issue SYNTACTIC-ENVIRONMENT-ACCESS
- From: sandra%defun@cs.utah.edu (Sandra J Loosemore)
- Date: Mon, 20 Mar 89 10:21:47 MST
- Cc: cl-compiler@sail.stanford.edu, masinter.pa@xerox.com, moon@stony-brook.scrc.symbolics.com
- In-reply-to: cperdue@Sun.COM (Cris Perdue), Sun, 19 Mar 89 13:46:38 PST
The problem I have with option 1 (adding a DECLARATION function to
access declarations) is that declarations don't have a regular syntax,
and that "decl-type" and "name" arguments might not be appropriate for
expressing the syntax of implementation-specific declarations. For
example, several implementations support declarations that control
global attributes (like downward-only closures or suppressing style
warnings) that aren't associated with any "name". Even more peculiar
would be something like the declaration Lucid supports that lets you
say that any objects of a given type really belong to a more specific
type (such as that all numbers will be fixnums).
-Sandra
-------