diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2021-01-21 21:00:12 -0800 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2021-01-21 21:00:12 -0800 |
commit | 49e6d4d9651f706c517c65e14b00b8a233c59aa1 (patch) | |
tree | c4f3e0b58f77854ad4e450d558cb255b59e4bf7d /tests/011 | |
parent | 143a9df7c48235a16c8c41a92281701bd5d8c2ff (diff) | |
download | txr-49e6d4d9651f706c517c65e14b00b8a233c59aa1.tar.gz txr-49e6d4d9651f706c517c65e14b00b8a233c59aa1.tar.bz2 txr-49e6d4d9651f706c517c65e14b00b8a233c59aa1.zip |
matcher: new @(coll) operator.
* share/txr/stdlib/match.tl (compile-loop-match): Implement
coll semantics. coll fails if it collects nothing, which
uses common logic with all*. We just have to move the
flipping of the loop-iterated-var into the match, and not
do it unconditionally for every iteration.
(compile-match): Hook in the coll operator.
* tests/011/patmatch.tl: Test case copied from doc example.
* txr.1: Documented.
Diffstat (limited to 'tests/011')
-rw-r--r-- | tests/011/patmatch.tl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/011/patmatch.tl b/tests/011/patmatch.tl index 493f4b2d..11a6a933 100644 --- a/tests/011/patmatch.tl +++ b/tests/011/patmatch.tl @@ -58,6 +58,10 @@ (list a b)) (2 b)) +(test (when-match @(coll (x @a @b)) '((y 1 a) (x 2 b) (z 3 c) (x 4 d)) + (list a b)) + ((2 4) (b d))) + (test (if-match @(and (@x 2 3) (1 @y 3) (1 2 @z)) '(1 2 3) (list x y z)) (1 2 3)) |