[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Issue CONSTANT-COMPILABLE-TYPES, version 7
- To: cperdue@Sun.COM
- Subject: Issue CONSTANT-COMPILABLE-TYPES, version 7
- From: Richard P. Gabriel <firstname.lastname@example.org>
- Date: Sun, 12 Mar 89 10:10:49 PST
- Cc: email@example.com
- In-reply-to: Cris Perdue's message of Sat, 11 Mar 89 17:18:44 PST <8903120118.AA18680@clam.sun.com>
The subset of functions disallowed are all compiled functions and
all interpreted functions with non-null lexical environments. There is
no predicate for this.
My thought is that, as closely as possible, the fact is irrelevant
that a compiler or dumper intervened between the production of the
code by a programmer into a well-formed program and the execution of
the code by a computer.
Therefore, variables are mutable, and EQness required by the standard
for conforming programs should be maintained. If there is a problem, I
think it is better to change the semantics of Common Lisp rather than
making compiling and loading special cases.