Abdulaziz Ghuloum <aghuloum_at_cs.indiana.edu> writes:
>> I think it is important to not break:
>> (eq? x x) implies (eqv? x x)
>> and:
>> (let ((x expr)) (eq? x x))
>
> These are not axioms in Scheme. They hold for Eq-comparable things
> (mutable objects and closures, iirc). For numbers, eq? is
> meaningless and therefore cannot imply anything.
Ok, but (eqv? x x) should be always #t.
--
__("< Marcin Kowalczyk
\__/ qrczak_at_knm.org.pl
^^ http://qrnik.knm.org.pl/~qrczak/
Received on Fri Nov 24 2006 - 03:52:34 UTC