Sat Apr 2 03:50:19 UTC 2011 rbrown@common-lisp.net * Delete trailing whitespace. In lambda-list-parsing.lisp this fixes a bug with ~@ format directives. diff -rN -u old-cl-unification/ChangeLog new-cl-unification/ChangeLog --- old-cl-unification/ChangeLog 2013-08-16 03:43:42.000000000 +0000 +++ new-cl-unification/ChangeLog 2013-08-16 03:43:42.000000000 +0000 @@ -1,5 +1,15 @@ 2011-02-24 Robert Brown + * lambda-list-parsing.lisp: Delete trailing whitespace that turned + ~@ into a bogus format directive by converting it into + ~@ + + * unifier.lisp, apply-substitution.lisp, cl-unification.system + * match-block.lisp, templates-hierarchy.lisp, unifier.lisp + * lib-dependent/cl-ppcre-template.lisp: delete trailing whitespace + +2011-02-24 Robert Brown + * unifier.lisp: Allow vectors to unify with sequence templates. * test/unification-tests.lisp: new test to verify the change diff -rN -u old-cl-unification/apply-substitution.lisp new-cl-unification/apply-substitution.lisp --- old-cl-unification/apply-substitution.lisp 2013-08-16 03:43:42.000000000 +0000 +++ new-cl-unification/apply-substitution.lisp 2013-08-16 03:43:42.000000000 +0000 @@ -70,8 +70,8 @@ finally (return (make-frame result-bindings))) into frames finally (return (make-environment :frames frames)))) - - + + ;;; ground-term -- diff -rN -u old-cl-unification/cl-unification.system new-cl-unification/cl-unification.system --- old-cl-unification/cl-unification.system 2013-08-16 03:43:42.000000000 +0000 +++ new-cl-unification/cl-unification.system 2013-08-16 03:43:42.000000000 +0000 @@ -20,5 +20,5 @@ ) )) )) - + ;;; end of file -- cl-unification.system -- diff -rN -u old-cl-unification/lambda-list-parsing.lisp new-cl-unification/lambda-list-parsing.lisp --- old-cl-unification/lambda-list-parsing.lisp 2013-08-16 03:43:42.000000000 +0000 +++ new-cl-unification/lambda-list-parsing.lisp 2013-08-16 03:43:42.000000000 +0000 @@ -49,7 +49,7 @@ ) ;;; The next function is really implementation-dependent, give the -;;; definition of LAMBDA-LIST-KEYWORDS +;;; definition of LAMBDA-LIST-KEYWORDS. (define-condition lambda-list-parsing-error (program-error) @@ -90,7 +90,7 @@ (&aux (parse-auxiliary-arguments (rest lambda-list))) (&rest (parse-rest-arguments (rest lambda-list))) (otherwise - (warn "Keyword ~A is implementation dependent.~@ + (warn "Keyword ~A is implementation dependent.~@ The parsing may not work properly." head) (skip-until-next-lambda-list-keyword (rest lambda-list)) @@ -112,7 +112,7 @@ (&aux (parse-auxiliary-arguments (rest lambda-list))) (&rest (parse-rest-arguments (rest lambda-list))) (otherwise - (warn "Keyword ~A is implementation dependent.~@ + (warn "Keyword ~A is implementation dependent.~@ The parsing may not work properly." head) (skip-until-next-lambda-list-keyword (rest lambda-list)) @@ -139,7 +139,7 @@ (error 'lambda-list-parsing-error :item head)) (skip-until-next-lambda-list-keyword (rest lambda-list))) (otherwise - (warn "Keyword ~A is implementation dependent.~@ + (warn "Keyword ~A is implementation dependent.~@ The parsing may not work properly." head) (skip-until-next-lambda-list-keyword (rest lambda-list)) @@ -165,7 +165,7 @@ (&aux (parse-auxiliary-arguments (rest lambda-list))) (&rest (error 'lambda-list-parsing-error :item head)) (otherwise - (warn "Keyword ~A is implementation dependent.~@ + (warn "Keyword ~A is implementation dependent.~@ The parsing may not work properly." head) (skip-until-next-lambda-list-keyword (rest lambda-list)) @@ -187,7 +187,7 @@ (&aux (error 'lambda-list-parsing-error :item head)) (&rest (error 'lambda-list-parsing-error :item head)) (otherwise - (warn "Keyword ~A is implementation dependent.~@ + (warn "Keyword ~A is implementation dependent.~@ The parsing may not work properly." head) (skip-until-next-lambda-list-keyword (rest lambda-list)) @@ -210,7 +210,7 @@ (&aux (parse-auxiliary-arguments (rest lambda-list))) (&rest (parse-rest-arguments (rest lambda-list))) (otherwise - (warn "Keyword ~A is implementation dependent.~@ + (warn "Keyword ~A is implementation dependent.~@ The parsing may not work properly." head) (skip-until-next-lambda-list-keyword (rest lambda-list)) @@ -277,7 +277,7 @@ (symbol (make-key-lambda-var-info :name var :type init-value-type :default-value init-value)) - + (cons (destructuring-bind (kwd var) var (etypecase var diff -rN -u old-cl-unification/lib-dependent/cl-ppcre-template.lisp new-cl-unification/lib-dependent/cl-ppcre-template.lisp --- old-cl-unification/lib-dependent/cl-ppcre-template.lisp 2013-08-16 03:43:42.000000000 +0000 +++ new-cl-unification/lib-dependent/cl-ppcre-template.lisp 2013-08-16 03:43:42.000000000 +0000 @@ -144,6 +144,6 @@ &optional (env (make-empty-environment)) &key (start 0) end &allow-other-keys) (unify re-t s env :start start :end end)) - + ;;;; end of file -- cl-ppcre-template.lisp -- diff -rN -u old-cl-unification/unifier.lisp new-cl-unification/unifier.lisp --- old-cl-unification/unifier.lisp 2013-08-16 03:43:42.000000000 +0000 +++ new-cl-unification/unifier.lisp 2013-08-16 03:43:42.000000000 +0000 @@ -440,7 +440,7 @@ :key-variable-test #'valid-template-p :rest-variable-test #'valid-template-p ) - + (let* ((n-vars (list-length vars)) (n-optionals (list-length optionals)) (env (unify (subseq a 0 (min ll (list-length vars))) @@ -489,7 +489,7 @@ :key-variable-test #'valid-template-p :rest-variable-test #'valid-template-p ) - + (let ((n-vars (list-length vars)) (n-optionals (list-length optionals)) ) @@ -936,7 +936,7 @@ ;; This is needed because of different precedence rules among lisps ;; in COMPUTE-APPLICABLE-METHODS when NIL has to matched against ;; SYMBOL and LIST. - + ;; We know (assume) that VAR is not NIL. nil)