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.

1 files changed, 1 insertions, 1 deletions

diff --git a/lisplib.c b/lisplib.c
index 60612575..c0d6ded0 100644
--- a/lisplib.c
+++ b/lisplib.c
@@ -870,7 +870,7 @@ static val match_instantiate(val set_fun)
 static val match_set_entries(val dlt, val fun)
 {
   val name_noload[] = {
-    lit("all*"), lit("as"),
+    lit("all*"), lit("as"), lit("with"),
     nil
   };
   val name[] = {