From: Chris Hanson <org/chris-hanson/cph>
Date: Tue, 1 May 2018 06:52:22 +0000 (-0700)
Subject: Update documentation of booleans.
X-Git-Tag: mit-scheme-pucked-x11-0.3.1~7^2~86
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=cf9257c5f54c90e01825841f31d1982d2c40ebdb;p=mit-scheme.git

Update documentation of booleans.
---

diff --git a/doc/ref-manual/misc-datatypes.texi b/doc/ref-manual/misc-datatypes.texi
index 1ebc290d3..f56a8e15e 100644
--- a/doc/ref-manual/misc-datatypes.texi
+++ b/doc/ref-manual/misc-datatypes.texi
@@ -66,7 +66,7 @@ Note that the symbol @code{true} is not equivalent to @code{#t}, and the
 symbol @code{false} is not equivalent to @code{#f}.
 @end defvr
 
-@deffn procedure boolean? object
+@deffn {standard procedure} boolean? object
 @cindex type predicate, for boolean
 Returns @code{#t} if @var{object} is either @code{#t} or @code{#f};
 otherwise returns @code{#f}.
@@ -79,7 +79,7 @@ otherwise returns @code{#f}.
 @end example
 @end deffn
 
-@deffn procedure not object
+@deffn {standard procedure} not object
 @deffnx procedure false? object
 @cindex false, predicate for
 @cindex inverse, of boolean object
@@ -98,12 +98,15 @@ different to give different connotations to the test.
 @end example
 @end deffn
 
-@deffn procedure boolean=? obj1 obj2
+@deffn {extended standard procedure} procedure boolean=? boolean1 boolean2 boolean3 @dots{}
 @cindex boolean object, equivalence predicate
 @cindex equivalence predicate, for boolean objects
 @cindex comparison, of boolean objects
-This predicate is true iff @var{obj1} and @var{obj2} are either both true
-or both false.
+This predicate is true iff the @var{boolean} args are either all true or all false.
+
+Implementation note: The standard requires this procedure's arguments
+to satisfy @code{boolean?}, but MIT/GNU Scheme allows any object to be
+an argument.
 @end deffn
 
 @deffn procedure boolean/and object @dots{}