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 | cdbd2695fc3896034562aab2e47b3476dc401077 (patch) | |
tree | ca37264d932a4254ee1a74a44c0c0270899f6981 | |
parent | 89ccc5edcc739c610e3bbc8532c110ee2b8edc8d (diff) | |
download | txr-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.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 |