[r6rs-discuss] put-datum, get-datum, equal?, eqv?, and NaNs

From: Alan Watson <alan>
Date: Thu, 28 Jun 2007 11:25:42 -0500

The description of eqv? in 11.5 leaves its behaviour partially
unspecified when given two NaNs. It can return #t or #f.

However, if I use put-datum and get-datum to write and read a NaN, the
result has to be equal? to the original NaN. Since equal? and eqv? are
identical for number objects, this means that the result has to be eqv?
to the original NaN.

Are the editors happy with this additional restriction on the behaviour
of eqv? with NaNs?

Regards,

Alan
Received on Thu Jun 28 2007 - 12:25:42 UTC