January 2005 - cl-unification-cvs@common-lisp.net

[cl-unification-cvs] CVS update: cl-unification/docs/html/downloads.html
by mantoniotti＠common-lisp.net 28 Jan '05

28 Jan '05

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory common-lisp.net:/tmp/cvs-serv2793 Added Files: downloads.html Log Message: Added file `downloads.html'. Date: Fri Jan 28 11:46:37 2005 Author: mantoniotti

1 0

[cl-unification-cvs] CVS update: cl-unification/docs/html/index.html
by mantoniotti＠common-lisp.net 28 Jan '05

28 Jan '05

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory common-lisp.net:/tmp/cvs-serv2194/docs/html Modified Files: index.html Log Message: Minor changes to text. Fixed `download.html' link. Date: Fri Jan 28 11:45:41 2005 Author: mantoniotti Index: cl-unification/docs/html/index.html diff -u cl-unification/docs/html/index.html:1.1.1.1 cl-unification/docs/html/index.html:1.2 --- cl-unification/docs/html/index.html:1.1.1.1 Wed Nov 17 14:19:55 2004 +++ cl-unification/docs/html/index.html Fri Jan 28 11:45:40 2005 @@ -34,6 +34,7 @@ <h1>Common Lisp Extensions: UNIFICATION</h1> + <hr> <em> <p> <b>DISCLAIMER:</b> The code associated to these documents is not @@ -49,6 +50,7 @@ disclaimer you can think of. </p> </em> + <hr> <p>The notion of <em>unification</em> originated in the field of formal logic (e.g. <a href="#R65">[R65]</a>,) and has been used

1 0

[cl-unification-cvs] CVS update: cl-unification/lambda-list-parsing.lisp cl-unification/unifier.lisp
by mantoniotti＠common-lisp.net 28 Jan '05

28 Jan '05

Update of /project/cl-unification/cvsroot/cl-unification In directory common-lisp.net:/tmp/cvs-serv1402 Modified Files: lambda-list-parsing.lisp unifier.lisp Log Message: Fixed minor problem in Lambda List parsing. Also VALID-TEMPLATE-P was expanded, and it looks like it should become a generic function. Date: Fri Jan 28 11:30:36 2005 Author: mantoniotti Index: cl-unification/lambda-list-parsing.lisp diff -u cl-unification/lambda-list-parsing.lisp:1.1.1.1 cl-unification/lambda-list-parsing.lisp:1.2 --- cl-unification/lambda-list-parsing.lisp:1.1.1.1 Wed Nov 17 14:19:54 2004 +++ cl-unification/lambda-list-parsing.lisp Fri Jan 28 11:30:35 2005 @@ -51,11 +51,16 @@ ;;; The next function is really implementation-dependent, give the ;;; definition of LAMBDA-LIST-KEYWORDS + (define-condition lambda-list-parsing-error (program-error) ((item :reader lambda-list-parsing-error-item :initarg :item) ) + (:report (lambda (llpe stream) + (format stream "Error while parsing an extended lambda-list (at ~S.)" + (lambda-list-parsing-error-item llpe)))) ) + (defun symbol-or-cons-p (x) (or (symbolp x) (consp x))) Index: cl-unification/unifier.lisp diff -u cl-unification/unifier.lisp:1.1.1.1 cl-unification/unifier.lisp:1.2 --- cl-unification/unifier.lisp:1.1.1.1 Wed Nov 17 14:19:55 2004 +++ cl-unification/unifier.lisp Fri Jan 28 11:30:35 2005 @@ -214,11 +214,16 @@ ;;; valid-template-p -- ;;; Useful later. Tests whether the object X can be considered a template. +;;; This should probably become a generic function. (defun valid-template-p (x) (or (symbolp x) (consp x) (numberp x) + (arrayp x) + (typep (class-of x) 'structure-class) + (typep (class-of x) 'standard-class) + (typep (class-of x) 'built-in-class) (template-p x)))

1 0