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

From: John Cowan <cowan>
Date: Fri Nov 24 15:43:19 2006

Marcin 'Qrczak' Kowalczyk scripsit:

> Every value must be eqv? to itself. Two values must not be eqv? if
> they can be distinguished by means not involving eq? (or possibly
> involving only certain "safe" uses of eq?).

I would certainly expect an implementation that provides singles
and doubles to have distinguishing predicates "single?" and
"double?".

> C99 has signbit() which can distinguish a NaN from its negation

The negation of NaN is NaN. What signbit() examines is the
*representation* of NaN.

-- 
A rose by any other name                            John Cowan
may smell as sweet,                                 http://www.ccil.org/~cowan
but if you called it an onion                       cowan_at_ccil.org
you'd get cooks very confused.          --RMS
Received on Fri Nov 24 2006 - 15:43:14 UTC

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