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
commit9e7cf279f3351b066d3a93402d6d43ef4c03f9bd (patch)
treeca37264d932a4254ee1a74a44c0c0270899f6981
parentaee2af3271809833333f63197775f1c92a9ebdac (diff)
downloadtxr-9e7cf279f3351b066d3a93402d6d43ef4c03f9bd.tar.gz
txr-9e7cf279f3351b066d3a93402d6d43ef4c03f9bd.tar.bz2
txr-9e7cf279f3351b066d3a93402d6d43ef4c03f9bd.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