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 | 95e6c214af93785a0811324008661e369ae61f0e (patch) | |
| tree | b42b8be042268939b28a075e8b9ab07466f3bc84 | |
| parent | f540686f66e09d9f8d7e9cd188ce6d8bb5e5d237 (diff) | |
| download | txr-95e6c214af93785a0811324008661e369ae61f0e.tar.gz txr-95e6c214af93785a0811324008661e369ae61f0e.tar.bz2 txr-95e6c214af93785a0811324008661e369ae61f0e.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.
| -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) |