From 97da726898841d20cac0755bca8ef82db2cfc7fe Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Mon, 15 Mar 2021 20:48:05 -0700 Subject: doc: improve predicate pattern description. * txr.1: Fix wrong word; clarify what is first form and second form. --- txr.1 | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) diff --git a/txr.1 b/txr.1 index 6418af18..ce6ece74 100644 --- a/txr.1 +++ b/txr.1 @@ -40964,11 +40964,16 @@ operator. .syne .desc Whenever the operator position of a pattern consists of a symbol which is not -the name of a predicate operator, the expression denotes a predicate pattern, -expected to conform to one of the first three syntax descriptions above. Whenever -the operator position of a pattern consists of a meta-symbol, it is also a -predicate pattern, expected to conform to one of the second three syntax -descriptions. +the name of a pattern operator, the expression denotes a predicate pattern, +expected to conform to one of the first three syntax variations above. +Together, these three variations constitute the +.I "first form" +of the pattern predicate operator. +Whenever the operator position of a pattern consists of a meta-symbol, it is +also a predicate pattern, expected to conform to one of the second three syntax +variations above. These three variations constitute the +.I "second form" +of the operator. The first form of the predicate pattern consists of a compound form consisting of an operator and arguments. Exactly one of the arguments may be a pattern -- cgit v1.2.3