[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Scheme-reports] Rational? and real? predicates

Peter Bex scripsit:

> In R7RS 6.2.5 there's the following clause:  "Finite returns #t on all
> real numbers except +inf.0, -inf.0 and +nan.0 [...]" (BTW: I think the
> questionmark fell off the predicate's name here)

Question mark added on trunk.

> This implies that +inf.0, -inf.0 and +nan.0 *are* considered real
> numbers.  Please clarify.  If this is intentionally left unspecified,
> it would probably be good if that's stated explicitly.

They are considered real but not rational, as in R6RS, and I have added
text to that effect to 6.2.5.

In addition, complex numbers are finite iff their real and imaginary
parts are finite, and NaN if the real *or* imaginary part is NaN.  This
is an extension to R6RS.

You escaped them by the will-death              John Cowan
and the Way of the Black Wheel.                 cowan@x
I could not.  --Great-Souled Sam                http://www.ccil.org/~cowan

Scheme-reports mailing list