diff options
author | Mark H Weaver <mhw@netris.org> | 2011-03-01 12:37:01 -0500 |
---|---|---|
committer | Mark H Weaver <mhw@netris.org> | 2011-03-08 17:52:56 -0500 |
commit | 7d185392ce51656f50904aa71b1ed5019584f842 (patch) | |
tree | 66e5b35fdd144b48c8777ad79dff946e8c551c26 /doc/ref | |
parent | ae255d65c39de0532df1a2b1da7a14d94e5e3bc6 (diff) | |
download | guile-7d185392ce51656f50904aa71b1ed5019584f842.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')
-rw-r--r-- | 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 0fb87d142..72a3f3486 100644 --- a/doc/ref/r6rs.texi +++ b/doc/ref/r6rs.texi @@ -355,7 +355,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 @@ -541,11 +540,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 |