From c273d9120da7fb3ee386609aeb2fbf33772700f7 Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Tue, 8 Dec 2015 22:40:48 -0800 Subject: Fix under ifa. * txr.1: Remove text fragment, and clarify treatment of not, null and false. --- txr.1 | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/txr.1 b/txr.1 index 18ef4813..1a1f8488 100644 --- a/txr.1 +++ b/txr.1 @@ -12272,13 +12272,6 @@ macro behaves like the ordinary .code if 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 @@ -12286,7 +12279,7 @@ is a function call with exactly one argument, then the 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 -- cgit v1.2.3