diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2021-01-21 07:39:41 -0800 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2021-01-21 07:39:41 -0800 |
| commit | 1ef988938b33903891819febe7e2b804598b369b (patch) | |
| tree | 773b30d4bda430acc49f2e32a053d98ca511c3fd /tests/011 | |
| parent | 625a22dbae0b10eb03cbbbef0fb3a1457f916d7a (diff) | |
| download | txr-1ef988938b33903891819febe7e2b804598b369b.tar.gz txr-1ef988938b33903891819febe7e2b804598b369b.tar.bz2 txr-1ef988938b33903891819febe7e2b804598b369b.zip | |
matcher: matcher: fix broken @(let @a @(some @a)).
* share/txr/stdlib/match.tl (compile-parallel-match): Just
like what was done in compile-loop-match in the prior commit,
we fix the situation here. guard1's guard-expr, in which the
matching logic actually happens, becomes the main test-expr.
Thus guard1 disappears and guard0 is renamed to the one and
only guard.
* tests/011/patmatch.tl: Added test case which is fixed
by this.
Diffstat (limited to 'tests/011')
| -rw-r--r-- | tests/011/patmatch.tl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/011/patmatch.tl b/tests/011/patmatch.tl index 84d59381..42e9bd9a 100644 --- a/tests/011/patmatch.tl +++ b/tests/011/patmatch.tl @@ -90,3 +90,5 @@ (test (when-match @(let a @(some @a)) '#1=(1 2 #1# 3) :yes) :yes) (test (when-match (@a @(let a @(some @a))) '(#1=(1 2 #1# 3) #1#) :yes) :yes) + +(test (when-match (@a @(let a @(or x @a))) '(#1=(1 2 #1# 3) #1#) :yes) :yes) |