diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2021-01-20 07:54:26 -0800 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2021-01-20 07:54:26 -0800 |
| commit | ae97f00ffa51c638c269e8b3e8ee3749be20fa12 (patch) | |
| tree | f852553699609a5fb8343a120867c7ba184b59c6 | |
| parent | 9178717bc1f1643ccdeace628a7bf1fbcea59ce1 (diff) | |
| download | txr-ae97f00ffa51c638c269e8b3e8ee3749be20fa12.tar.gz txr-ae97f00ffa51c638c269e8b3e8ee3749be20fa12.tar.bz2 txr-ae97f00ffa51c638c269e8b3e8ee3749be20fa12.zip | |
matcher: bugfix and interface change in @(require).
* share/txr/stdlib/match.tl (compile-require-match): The bug
here is that the condition is placed before the
match.test-expr, which is incorrect. The conditions can only
be evaluated if match.test-expr has succeeded, because
otherwise the variables are not validated to have the
correctly matching value. Also, in the documentation,
the synax insinuates there can be more than one expression. So
let's just make it work: require takes multiple expressions
and combines them with an implicit and.
* txr.1: Documentation updated.
| -rw-r--r-- | share/txr/stdlib/match.tl | 4 | ||||
| -rw-r--r-- | txr.1 | 37 |
2 files changed, 29 insertions, 12 deletions
diff --git a/share/txr/stdlib/match.tl b/share/txr/stdlib/match.tl index 09f1c068..0c672903 100644 --- a/share/txr/stdlib/match.tl +++ b/share/txr/stdlib/match.tl @@ -180,9 +180,9 @@ var-exprs (append car-match.var-exprs cdr-match.var-exprs))))) (defun compile-require-match (exp obj-var) - (mac-param-bind *match-form* (op match condition) exp + (mac-param-bind *match-form* (op match . conditions) exp (let ((match (compile-match match obj-var))) - (set match.test-expr ^(and ,condition ,match.test-expr)) + (set match.test-expr ^(and ,match.test-expr ,*conditions)) match))) (defun compile-let-match (exp obj-var) @@ -39934,7 +39934,7 @@ as its value. .coNP Pattern operator @ require .synb -.mets @(require < pattern << expression *) +.mets @(require < pattern << condition *) .syne .desc The pattern operator @@ -39944,19 +39944,36 @@ applies the specified to the corresponding object. If the .meta pattern -matches, the operator then imposes the additional conditions specified by -the extra -.metn expression . -The -.meta expression +matches, the operator then imposes the additional constraints +specified by zero or more +.meta condition +forms. +Each +.meta condition is evaluated in a scope in which the variables from .meta pattern have already been established. -However, the mach is considered to have succeeded only if -.meta expression -yields true. If it yields + +For the +.code require +operator to be a successful match, every +.meta condition +must evaluate true, otherwise the match fails. + +The +.meta condition +forms behave as if they were the arguments of an implicit +.code and +operator, which implies left-to-right evaluation behavior, stopping +evaluation on the first +.meta condition +which produces .codn nil , -then the match is deemed to have failed. +and defaulting to a result of +.code t +when no +.meta condition +forms are specified. .TP* Examples: |