matcher: new looping macros.

* lisplib.c (match_set_entries): Autoload on new while-match,
while-match-case and while-true-match-case symbols.

* share/txr/stdlib/match.tl (while-match, while-match-case,
while-true-match-case): New macros.

* tests/011/patmatch.tl: Tests.

* txr.1: Documented.

* share/txr/stdlib/doc-syms.tl: Updated.

1 files changed, 25 insertions, 0 deletions

diff --git a/share/txr/stdlib/match.tl b/share/txr/stdlib/match.tl
index baa65f0d..3502688b 100644
--- a/share/txr/stdlib/match.tl
+++ b/share/txr/stdlib/match.tl
@@ -643,6 +643,14 @@
            ,result
            ,else)))))
 
+(defmacro while-match (:form *match-form* :env e pat obj . body)
+  (let ((cm (compile-match pat : (get-var-list e))))
+    ^(for ()
+          ((alet ((,cm.obj-var ,obj))
+             (let ,cm.(get-vars)
+               ,cm.(wrap-guards ^(progn ,*body t)))))
+          ())))
+
 (defmacro match-case (:form *match-form* :env e obj . clauses)
   (unless [all clauses [andf proper-listp [chain len plusp]]]
     (compile-error *match-form* "bad clause syntax"))
@@ -666,6 +674,23 @@
          (or ,*clause-code)
          ,result-temp))))
 
+(defmacro while-match-case (:form *match-form* :env e obj . clauses)
+  (unless [all clauses [andf proper-listp [chain len plusp]]]
+    (compile-error *match-form* "bad clause syntax"))
+  ^(for ()
+        ((match-case ,obj
+           ,*(mapcar (ret ^(,(car @1) ,*(cdr @1) t)) clauses)))
+        ()))
+
+(defmacro while-true-match-case (:form *match-form* :env e obj . clauses)
+  (unless [all clauses [andf proper-listp [chain len plusp]]]
+    (compile-error *match-form* "bad clause syntax"))
+  ^(for ()
+        ((match-case ,obj
+           (nil)
+           ,*(mapcar (ret ^(,(car @1) ,*(cdr @1) t)) clauses)))
+        ()))
+
 (defmacro when-exprs-match (:form *match-form* :env e pats exprs . forms)
   (let ((em (compile-match ^@(exprs ,*pats) exprs (get-var-list e))))
     ^(let* (,*em.(get-vars))