>From 1fe145a563def1a115db8c810b6c3446ebe94538 Mon Sep 17 00:00:00 2001 From: Mark H Weaver Date: Tue, 1 Mar 2011 12:37:01 -0500 Subject: [PATCH 2/4] 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 files changed, 8 insertions(+), 5 deletions(-) diff --git a/doc/ref/r6rs.texi b/doc/ref/r6rs.texi index c1ac541..8f89286 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 address@hidden {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 address@hidden {Scheme Procedure} finite? x address@hidden {Scheme Procedure} nan? x @deffnx {Scheme Procedure} infinite? x address@hidden returns @code{#t} if @var{x} is an infinite value, address@hidden otherwise. @code{finite?} returns the negation of address@hidden address@hidden {Scheme Procedure} finite? x address@hidden 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 -- 1.7.1