[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Eval-When -- a radical view
- To: jeff%aiva.edinburgh.ac.uk@nss.cs.ucl.ac.uk
- Subject: Eval-When -- a radical view
- From: Jon L White <edsel!jonl@labrea.Stanford.EDU>
- Date: Tue, 29 Mar 88 22:31:44 PST
- Cc: cl-compiler@sail.stanford.edu, <@edsel,@labrea.stanford.edu:jonl>
- In-reply-to: Jeff Dalton's message of Mon, 28 Mar 88 17:00:29 bst <22121.8803281600@aiva.ed.ac.uk>
re: There is one subtlety that I think should be addressed, and that is:
what should implementations that always and only compile do? . . .
So maybe the top-level processor that is masquarading as "top-level EVAL"
should call a private entry into the compiler that doesn't rebind
*EVAL-WHEN-STATE*? I already had to presume such an entry to the
interpreter in the trial-balloon defmacro for EVAL-WHEN.
Even in the most minimal of implementations, I presume that LOAD differs
from COMPILE-FILE in that LOAD will successively "execute" each form
before even reading the next one. And COMPILE-FILE is called primarily
for the side-effect of creating a "binary" file. So it still makes sense
to me to have separate "situation" markers for :EVALUATING and :COMPILING,
even though serious portability questions arise about some combinations
of "situations".
-- JonL --