Thu Dec 17 16:44:46 UTC 2009 mantoniotti

* Minor cosmetic changes.

--- old-cl-unification-1/unifier.lisp 2013-07-21 19:25:22.000000000 +0000

+++ new-cl-unification-1/unifier.lisp 2013-07-21 19:25:22.000000000 +0000

@@ -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

))))