From 6ab8b9c6f03d13b96b599709f44da798552639c9 Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Thu, 21 Jan 2021 06:30:34 -0800 Subject: 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. --- tests/011/patmatch.tl | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'tests/011') 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) -- cgit v1.2.3