diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2021-01-21 06:30:34 -0800 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2021-01-21 06:30:34 -0800 |
| commit | 6ab8b9c6f03d13b96b599709f44da798552639c9 (patch) | |
| tree | b42b8be042268939b28a075e8b9ab07466f3bc84 /tests/011 | |
| parent | 6c608b31b9c6a3ff29bf9d21b27e79d82aa253b5 (diff) | |
| download | txr-6ab8b9c6f03d13b96b599709f44da798552639c9.tar.gz txr-6ab8b9c6f03d13b96b599709f44da798552639c9.tar.bz2 txr-6ab8b9c6f03d13b96b599709f44da798552639c9.zip | |
matcher: add failing circular backreferencing test.
* tests/011/patmatch.tl: New test showing breakage whereby
a variable inside the @(some ...) operator is not able
to unify against a surrounding let variable.
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 1d06b252..7d0482b2 100644 --- a/tests/011/patmatch.tl +++ b/tests/011/patmatch.tl @@ -84,3 +84,7 @@ (test (when-match (@(and @a @b) (x . @c)) '(1 (x 2 3 4)) c) (2 3 4)) (test (when-match (@(some @a) . @b) '((1 2 3) 2) (list a b)) (1 (2))) + +(set *print-circle* t) + +(test (when-match @(let a @(some @a)) '#1=(1 2 #1# 3) :yes) :yes) |