[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

EQ-preservation



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