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

Modified Files: unifier.lisp Log Message: Minor cosmetic changes.

--- /project/cl-unification/cvsroot/cl-unification/unifier.lisp 2009/04/15 10:14:24 1.6 +++ /project/cl-unification/cvsroot/cl-unification/unifier.lisp 2009/12/17 16:44:46 1.7 @@ -225,14 +225,16 @@

(defgeneric untyped-unify (a b &optional env))

-(defmethod untyped-unify ((as list) (bs vector) &optional (env (make-empty-environment))) +(defmethod untyped-unify ((as list) (bs vector) + &optional (env (make-empty-environment))) (loop for a in as for b across bs for mgu = (unify a b env) then (unify a b mgu) finally (return mgu)))

-(defmethod untyped-unify ((as vector) (bs list) &optional (env (make-empty-environment))) +(defmethod untyped-unify ((as vector) (bs list) + &optional (env (make-empty-environment))) (untyped-unify bs as env))

(defmethod untyped-unify ((a t) (b t) &optional (env (make-empty-environment))) @@ -449,7 +451,7 @@ (setf env (unify (subseq a n-vars (+ n-vars n-optionals)) optionals env))) (when (and rest (>= ll (+ n-vars n-optionals))) (setf env (unify (subseq a (+ n-vars n-optionals)) (first rest) env))) - (when keys (warn "Sorry mathcing of keywords ~S not yet implemented." keys)) + (when keys (warn "Sorry matching of keywords ~S not yet implemented." keys)) env ))))