summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--txr.118
1 files changed, 9 insertions, 9 deletions
diff --git a/txr.1 b/txr.1
index 18ef4813..1a1f8488 100644
--- a/txr.1
+++ b/txr.1
@@ -12274,19 +12274,12 @@ operator.
If
.meta cond
-is an invocation of the functions
-.code not
-or
-.codn null ,
-
-If
-.meta cond
is a function call with exactly one argument, then the
.code it
variable is bound to the value of that argument, except when
the function being called is
.codn not ,
-.code null ,
+.codn null ,
or
.codn false .
That special situation is rewritten according to the following pattern:
@@ -12295,6 +12288,13 @@ That special situation is rewritten according to the following pattern:
.mets (ifa (not << expr ) < then << else ) -> (ifa < expr < else << then )
.cble
+and likewise for
+.code null
+or
+.code false
+substituted for
+.codn not .
+
Note the reversal of
.meta then
and
@@ -12303,7 +12303,7 @@ and
If
.meta cond
is a function call with two or more arguments, then it is only
-well-formed if at most one of those arguments is an it-candidates.
+well-formed if at most one of those arguments is an it-candidate.
If there is one such argument, then the
.code it
variable is bound to it. Otherwise the variable is bound