summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKaz Kylheku <kaz@kylheku.com>2024-07-27 11:39:26 -0700
committerKaz Kylheku <kaz@kylheku.com>2024-07-27 11:39:26 -0700
commitcdbd2695fc3896034562aab2e47b3476dc401077 (patch)
treeca37264d932a4254ee1a74a44c0c0270899f6981
parent89ccc5edcc739c610e3bbc8532c110ee2b8edc8d (diff)
downloadtxr-cdbd2695fc3896034562aab2e47b3476dc401077.tar.gz
txr-cdbd2695fc3896034562aab2e47b3476dc401077.tar.bz2
txr-cdbd2695fc3896034562aab2e47b3476dc401077.zip
doc: touch up description of trivial patterns.
* txr.1: patterns are also nontrivial if they contain quasiquotes that contain nontrivial patterns, and quasiliterals that contain operators. Also, we italicize the term trivial pattern as well as nontrivial.
-rw-r--r--txr.114
1 files changed, 9 insertions, 5 deletions
diff --git a/txr.1 b/txr.1
index 2a91591e..995ed488 100644
--- a/txr.1
+++ b/txr.1
@@ -47509,11 +47509,15 @@ which target keys, values or both.
An important concept in the requirements governing the operation of the
.code hash
-operator is that of a trivial pattern.
-
-A pattern is nontrivial if it is a variable or operator pattern.
-A pattern is also nontrivial if it is a list, vector or range pattern
-containing at least one nontrivial pattern. Otherwise, it is trivial.
+operator is that of a
+.IR "trivial pattern" .
+
+A pattern is
+.I nontrivial
+if it is a variable or operator.
+A quasiliteral pattern that contains variables or operators is nontrivial.
+A pattern is also nontrivial if it is a list, vector, range or quasiquote
+pattern containing at least one nontrivial pattern. Otherwise, it is trivial.
The
.code hash