[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
EQ-preservation
- To: David.Dill@CMU-CS-A (L170DD60)
- Subject: EQ-preservation
- From: Scott E. Fahlman <Fahlman@CMU-CS-C>
- Date: Sat, 11 Jun 1983 22:05:00 -0000
- Cc: common-lisp@su-ai
- In-reply-to: Msg of 11 Jun 1983 1416-EDT () from David.Dill at CMU-CS-A (L170DD60)
The question is not whether two distinct numbers are EQ, but whether
and in what conditions you can count on (EQ X X). If X has the
semantics of a variable reference, then you can count on this,
regardless of what is put in X. But if X could be expanded as a sort of
macro into a constant value each time it is seen, then maybe (EQ X X)
doesn't hold.
-- Scott