From 3546eefbbaefac9457e4f18c1d2ed0aba5a6b933 Mon Sep 17 00:00:00 2001
From: Kaz Kylheku <kaz@kylheku.com>
Date: Mon, 1 Feb 2021 23:48:35 -0800
Subject: matcher: new @(with) operator.

* lisplib.c (match_instantiate): Ensure usr:with is interned.

* share/txr/stdlib/match.tl (compile-with-match): New
function.
(compile-match): Wire in with operator.

* tests/011/patmatch.tl: Test cases.

* txr.1: Documented.
---
 tests/011/patmatch.tl | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'tests/011')

diff --git a/tests/011/patmatch.tl b/tests/011/patmatch.tl
index f8f6b03f..0068eabb 100644
--- a/tests/011/patmatch.tl
+++ b/tests/011/patmatch.tl
@@ -116,6 +116,14 @@
 
 (test (when-match (@a @(as a @(or x @a))) '(#1=(1 2 #1# 3) #1#) :yes) :yes)
 
+(test (when-match (@(with x 42 @a) @b @c) '(1 2 3) (list a b c x))
+      (1 2 3 42))
+
+(test (let ((o 3))
+        (when-match (@(evenp x) @(with @(oddp y) o @z)) '(4 6)
+          (list x y z)))
+      (4 3 6))
+
 (defstruct node ()
   left right)
 
-- 
cgit v1.2.3