Update of /project/cl-unification/cvsroot/cl-unification In directory cl-net:/tmp/cvs-serv17584
Modified Files: ChangeLog unifier.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/ChangeLog 2011/02/16 16:30:04 1.10 +++ /project/cl-unification/cvsroot/cl-unification/ChangeLog 2011/02/24 20:16:01 1.11 @@ -1,3 +1,8 @@ +2011-02-24 Robert Brown robert.brown@gmail.com + + * unifier.lisp: Allow vectors to unify with sequence templates. + * test/unification-tests.lisp: new test to verify the change + 2011-02-16 Robert Brown robert.brown@gmail.com
* cl-unification.asd: Add support for asdf:test-system. --- /project/cl-unification/cvsroot/cl-unification/unifier.lisp 2011/02/11 17:49:38 1.9 +++ /project/cl-unification/cvsroot/cl-unification/unifier.lisp 2011/02/24 20:16:01 1.10 @@ -476,7 +476,7 @@ :format-arguments (list a b)))
-(defmethod unify ((a vector) (b vector-template) +(defmethod unify ((a vector) (b sequence-template) &optional (env (make-empty-environment)) &key &allow-other-keys) (let ((template-lambda-list (sequence-template-lambda-list b))