cl-unification-cvs

Download

cl-unification-cvs@common-lisp.net

July 2008

1 participants
12 discussions

[cl-unification-cvs] CVS cl-unification
by mantoniotti 13 Jul '08

13 Jul '08

Update of /project/cl-unification/cvsroot/cl-unification In directory clnet:/tmp/cvs-serv20645 Modified Files: cl-unification.system Log Message: Added explicit :source-extension to accomodate Allegro CL. --- /project/cl-unification/cvsroot/cl-unification/cl-unification.system 2007/11/09 13:34:21 1.1 +++ /project/cl-unification/cvsroot/cl-unification/cl-unification.system 2008/07/13 12:51:14 1.2 @@ -4,13 +4,14 @@ ;;;; MK:DEFSYSTEM system file. (mk:defsystem "CL-UNIFICATION" - :components ("unification-package" - "variables" - "substitutions" - "lambda-list-parsing" - "templates-hierarchy" - "unifier" - "match-block" - "apply-substitution")) + :source-extension "lisp" + :components ("unification-package" + "variables" + "substitutions" + "lambda-list-parsing" + "templates-hierarchy" + "unifier" + "match-block" + "apply-substitution")) ;;; end of file -- cl-unification.system --

1 0

[cl-unification-cvs] CVS cl-unification
by mantoniotti 10 Jul '08

10 Jul '08

Update of /project/cl-unification/cvsroot/cl-unification In directory clnet:/tmp/cvs-serv1437 Modified Files: apply-substitution.lisp Log Message: Removed EXPORT of APPLY-SUBSTITUTION as it is already in the DEFPACKAGE. --- /project/cl-unification/cvsroot/cl-unification/apply-substitution.lisp 2007/05/21 12:33:05 1.1 +++ /project/cl-unification/cvsroot/cl-unification/apply-substitution.lisp 2008/07/10 17:39:16 1.2 @@ -18,7 +18,8 @@ (multiple-value-bind (val foundp) (find-variable-value s substitution) (cond (foundp val) - (t (warn "~S is a free variable in the current environment." s) + (t (warn "~S is a free variable in the current environment." + s) s)))) (t s))) @@ -30,9 +31,6 @@ (defmethod apply-substitution ((substitution environment) (l null)) '()) -(export '(apply-substitution)) - - (defun ground-term (term &optional (substitution (make-empty-environment))) (apply-substitution substitution term))

1 0