diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2024-07-16 14:38:12 -0700 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2024-07-16 14:38:12 -0700 |
commit | 19a401686879186a11864f4627fc574c73d909dd (patch) | |
tree | 8c615557bada3a5dd5d13dc1d0bafc9a46dc28d8 | |
parent | 351291c960bd8ff3ae6b8277af8613dd67b86c89 (diff) | |
download | txr-19a401686879186a11864f4627fc574c73d909dd.tar.gz txr-19a401686879186a11864f4627fc574c73d909dd.tar.bz2 txr-19a401686879186a11864f4627fc574c73d909dd.zip |
doc: misleading info about macro param lists.
* txr.1: In the "Comparison to Macro Parameter Lists" section,
which compares structural pattern matching to macro parameter
lists, we remove the outdated claim that all positions in
a macro parameter pattern must bind a variable. This has not
been true since t has been supported as a way to support
binding variables.
-rw-r--r-- | txr.1 | 9 |
1 files changed, 4 insertions, 5 deletions
@@ -46703,11 +46703,10 @@ cannot express the idea of matching a list whose first element is the symbol and whose third element is .codn 42 . Moreover, every position in the tree pattern much specify a variable -which captures the corresponding element of the structure. For instance, -a pattern which matches a three-element list must specify three variables, -one for each list position. This is because macro-style parameter lists are -oriented toward writing macros, and macros usually make use of every parameter -position. +which captures the corresponding element of the structure or else the symbol +.code t +to indicate that no variable is to be captured. There are no other +pattern matching operators. .NP* User-Defined Patterns |