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 /txr.1 | |
| 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.
Diffstat (limited to 'txr.1')
| -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 |