[cl-unification-cvs] CVS cl-unification/test

[rbrown]

Update of /project/cl-unification/cvsroot/cl-unification/test
In directory cl-net:/tmp/cvs-serv17584/test

Modified Files:
	unification-tests.lisp 
Log Message:
unifier.lisp: Allow vectors to unify with sequence templates.
test/unification-tests.lisp: new test to verify the change


--- /project/cl-unification/cvsroot/cl-unification/test/unification-tests.lisp	2011/02/11 20:15:40	1.4
+++ /project/cl-unification/cvsroot/cl-unification/test/unification-tests.lisp	2011/02/24 20:16:02	1.5
@@ -99,6 +99,8 @@
     (test t (unify:environment-p (unify #C(0 1) #T(complex #C(0 1)))))
 
     (test '(42 T) (v? '?x (unify #T(number ?x) 42)) :multiple-values t)
+    (test '(42 T) (v? '?x (unify #(0 1 42 3 4 5) #T(sequence 0 1 ?x 3 4 5)))
+          :multiple-values t)
 
     (test-error (unify 42 #T(float 42.0))
                 :condition-type 'unification-failure