[r6rs-discuss] Re: [Formal] eq?/eqv? misbehave around NaNs

From: Marcin 'Qrczak' Kowalczyk <qrczak>
Date: Fri Nov 24 16:39:05 2006

Alan Watson <alan_at_alan-watson.org> writes:

>> If they are distinguishable, they must not be eqv?.
>> If they are indistinguishable, there is no point in providing
>> different precisions.
>
> There is. For use with non-standard extensions (e.g., an arithmetic
> library specialized to singles).

It doesn't matter if the functions are non-standard. If the values are
treated differently by any function except eq? and functions derived
from eq?, they must definitely not be eqv?.

In case of doubt it is always safe to decide that certain values are
not eqv?, as long as each value is still eqv? to itself.

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak_at_knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/
Received on Fri Nov 24 2006 - 16:38:55 UTC

This archive was generated by hypermail 2.3.0 : Wed Oct 23 2024 - 09:15:00 UTC