[1] Some test for 'subst-tree' were added.

diff --git a/test/unify_matcher.clj b/test/unify_matcher.clj
index 7225dd9..f3f6341 100755 (executable)
--- a/test/unify_matcher.clj
+++ b/test/unify_matcher.clj
@@ -38,6 +38,15 @@
     (is (= (um/subst b '?*xs) ()))
     ))
 
+(deftest test-subst-tree
+  (let [b '{?x 0, ?y 1, ?*z [2 3 4]}]
+    (is (= (um/subst-tree b '[?x ?y ?*z])
+           '[0 1 2 3 4]))
+    (is (= (um/subst-tree b '[?*z ?x ?y])
+           '[2 3 4 0 1]))
+    (is (= (um/subst-tree b '[a b [c ?*z] ?y [?*z]])
+           '[a b [c 2 3 4] 1 [2 3 4]]))))
+
 (deftest test-vars-in
   (is (= (um/vars-in '((?x (?y ?z) ?*xs) ?a b ?*c))
          '#{?x ?y ?z ?*xs ?a ?*c})))