From 4f1bbedb6db54acc0a0ceea81dc79220bbbcb1b3 Mon Sep 17 00:00:00 2001 From: Mark H Weaver Date: Tue, 1 Mar 2011 12:37:01 -0500 Subject: [PATCH] Fix description of the R6RS `finite?' in manual * doc/ref/r6rs.texi (rnrs base): `(finite? x)' returns true iff x is neither infinite nor a NaN. Previously, it stated that `finite?' was the negation of `infinite?', which was incorrect because NaNs are neither finite nor infinite. Combine description of 'nan?' with those of `finite?' and `infinite?'. --- doc/ref/r6rs.texi | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/doc/ref/r6rs.texi b/doc/ref/r6rs.texi index c1ac54124..8f8928659 100644 --- a/doc/ref/r6rs.texi +++ b/doc/ref/r6rs.texi @@ -356,7 +356,6 @@ grouped below by the existing manual sections to which they correspond. @deffn {Scheme Procedure} real? x @deffnx {Scheme Procedure} rational? x -@deffnx {Scheme Procedure} nan? x @deffnx {Scheme Procedure} numerator x @deffnx {Scheme Procedure} denominator x @deffnx {Scheme Procedure} rationalize x eps @@ -542,11 +541,15 @@ loss of numerical precision. imaginary parts are zero. @end deffn -@deffn {Scheme Procedure} finite? x +@deffn {Scheme Procedure} nan? x @deffnx {Scheme Procedure} infinite? x -@code{infinite?} returns @code{#t} if @var{x} is an infinite value, -@code{#f} otherwise. @code{finite?} returns the negation of -@code{infinite?}. +@deffnx {Scheme Procedure} finite? x +@code{nan?} returns @code{#t} if @var{x} is a NaN value, @code{#f} +otherwise. @code{infinite?} returns @code{#t} if @var{x} is an infinite +value, @code{#f} otherwise. @code{finite?} returns @code{#t} if @var{x} +is neither infinite nor a NaN value, otherwise it returns @code{#f}. +Every real number satisfies exactly one of these predicates. An +exception is raised if @var{x} is not real. @end deffn @deffn {Scheme Syntax} assert expr