[r6rs-discuss] [Formal] < is inconsistent on NaNs.

Michael Sperber sperber at informatik.uni-tuebingen.de
Thu Jan 25 08:59:34 EST 2007


Aubrey Jaffer <agj at alum.mit.edu> writes:

> Page 42: 9.9.4 Numeric Operations gives < as a procedure of one or
> more real arguments:
>
>   (< x1 x2 x3 . . . ) procedure
>
> But later in the description states:
>
>   For any number z:
>   (= +nan.0 z) ==> #f
>   (< +nan.0 z) ==> #f

This is a typo, very probably my fault.  The second "z" should be an
"x", and thus restricted to a real number.   If you think this is the
wrong way to fix this, speak up.

Thanks for spotting this!

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla



More information about the r6rs-discuss mailing list