summaryrefslogtreecommitdiff
path: root/doc/ref/r6rs.texi
diff options
context:
space:
mode:
authorMark H Weaver <mhw@netris.org>2011-03-01 12:37:01 -0500
committerMark H Weaver <mhw@netris.org>2011-03-08 17:50:57 -0500
commit4f1bbedb6db54acc0a0ceea81dc79220bbbcb1b3 (patch)
tree8ae1a4f1ae6d596837464df9c7cd393e7624fb22 /doc/ref/r6rs.texi
parent73ea546c51c5ca531cc6040eb37e292a8334b33e (diff)
downloadguile-4f1bbedb6db54acc0a0ceea81dc79220bbbcb1b3.tar.gz
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?'.
Diffstat (limited to 'doc/ref/r6rs.texi')
-rw-r--r--doc/ref/r6rs.texi13
1 files 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