[r6rs-discuss] [Formal] Unclear how equality predicates behave on NaN

Marcin 'Qrczak' Kowalczyk qrczak at knm.org.pl
Wed Sep 20 10:14:17 EDT 2006


John Cowan <cowan at ccil.org> writes:

> But what's really at stake here is that users shouldn't expect
> reliable results from eqv? on two NaNs generated by different
> processes (where reading "+nan.0" counts as a process), even
> on a single system.

Ok. But currently R6RS doesn't guarantee that (eqv? x x) when x
is NaN, and it should.

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak at knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/



More information about the r6rs-discuss mailing list