diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2024-07-27 11:39:26 -0700 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2024-07-27 11:39:26 -0700 |
commit | 9e7cf279f3351b066d3a93402d6d43ef4c03f9bd (patch) | |
tree | ca37264d932a4254ee1a74a44c0c0270899f6981 | |
parent | aee2af3271809833333f63197775f1c92a9ebdac (diff) | |
download | txr-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.1 | 14 |
1 files changed, 9 insertions, 5 deletions
@@ -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 |