Thu Feb  4 07:31:47 UTC 2010  pix@kepibu.org
  * Duplicate nested match-case tests for matchf-case.
diff -rN -u old-cl-unification/test/unification-tests.lisp new-cl-unification/test/unification-tests.lisp
--- old-cl-unification/test/unification-tests.lisp	2016-01-28 07:56:21.000000000 +0000
+++ new-cl-unification/test/unification-tests.lisp	2016-01-28 07:56:21.000000000 +0000
@@ -209,15 +209,28 @@
 		     (otherwise (error 'inner-error)))))
    (otherwise (error 'outer-error))))
 
+(defun nested-matchf-cases (input)
+ (matchf-case (input)
+   ((:a ?a :b #T(list &rest ?bs))
+    (loop for b in ?bs
+	   collect (matchf-case (b)
+		     ((:c ?c)   ?c)
+		     ((:d ?d)   ?d)
+		     (otherwise (error 'inner-error)))))
+   (otherwise (error 'outer-error))))
+
 (with-tests (:name "control flow")
   (test-error (nested-match-cases '(:a 42 :b 33)) :condition-type 'outer-error)
-
   (test-error (nested-match-cases '(:a 42 :b (33 42))) :condition-type 'inner-error)
-
   (test '(42 43 44) (nested-match-cases '(:a 42 :b ((:d 42) (:c 43) (:c 44))))
         :test #'equal)
 
-  (test-error (match ('(x) '(x) :errorp nil)
+  (test-error (nested-matchf-cases '(:a 42 :b 33)) :condition-type 'outer-error)
+  (test-error (nested-matchf-cases '(:a 42 :b (33 42))) :condition-type 'inner-error)
+  (test '(42 43 44) (nested-matchf-cases '(:a 42 :b ((:d 42) (:c 43) (:c 44))))
+        :test #'equal)
+
+  (test-error (match ('(x) '(xx) :errorp nil)
                 (error 'inner-unification-failure))
               :condition-type 'inner-unification-failure)