[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Issue CONSTANT-COMPILABLE-TYPES, version 7
- To: sandra%defun@cs.utah.edu
- Subject: Issue CONSTANT-COMPILABLE-TYPES, version 7
- From: Richard P. Gabriel <rpg@lucid.com>
- Date: Sun, 12 Mar 89 10:19:40 PST
- Cc: cperdue@Sun.COM, cl-compiler@sail.stanford.edu
- In-reply-to: Sandra J Loosemore's message of Sat, 11 Mar 89 19:03:47 MST <8903120203.AA00900@defun.utah.edu>
I think we can ignore non-Lisp functions. Here's why. First, we're
specifying Common Lisp, not C, so that only user-written functions in
Common Lisp have defined behavior under this proposal. Second, we're
only specifying what happens to well-formed programs that use the
built-in Common Lisp functions and etc (in the old days, the 775 magic
symbols). A proposal I have on the CL-cleanup table is that any
alteration of these magic functions has undefined consequences, except
where explicitly allowed. Therefore, the only important part of a
built-in CL function is its name, which is easy to dump.
That is, if you only have to dump its name, it doesn't matter what
language the body is in, and no well-defined programs alter those
definitions.
This is an example of what I mean by a conservative approach.
-rpg-