From mantoniotti at common-lisp.net  Fri Jan 28 19:30:43 2005
From: mantoniotti at common-lisp.net (Marco Antoniotti)
Date: Fri, 28 Jan 2005 11:30:43 -0800 (PST)
Subject: [cl-unification-cvs] CVS update:
	cl-unification/lambda-list-parsing.lisp cl-unification/unifier.lisp 
Message-ID: <20050128193043.887588802A@common-lisp.net>

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



From mantoniotti at common-lisp.net  Fri Jan 28 19:45:42 2005
From: mantoniotti at common-lisp.net (Marco Antoniotti)
Date: Fri, 28 Jan 2005 11:45:42 -0800 (PST)
Subject: [cl-unification-cvs] CVS update:
	cl-unification/docs/html/index.html 
Message-ID: <20050128194542.41D478802A@common-lisp.net>

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



From mantoniotti at common-lisp.net  Fri Jan 28 19:46:39 2005
From: mantoniotti at common-lisp.net (Marco Antoniotti)
Date: Fri, 28 Jan 2005 11:46:39 -0800 (PST)
Subject: [cl-unification-cvs] CVS update:
	cl-unification/docs/html/downloads.html 
Message-ID: <20050128194639.DC9FF8802A@common-lisp.net>

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