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 | 2cef97a924e7fadd1c41e542f93fa7ad4b14959a (patch) | |
tree | 8c615557bada3a5dd5d13dc1d0bafc9a46dc28d8 | |
parent | 75aea89bbccab9c7629510298c01115ccca08cc1 (diff) | |
download | txr-2cef97a924e7fadd1c41e542f93fa7ad4b14959a.tar.gz txr-2cef97a924e7fadd1c41e542f93fa7ad4b14959a.tar.bz2 txr-2cef97a924e7fadd1c41e542f93fa7ad4b14959a.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 |