[cl-unification-cvs] CVS update: cl-unification/lambda-list-parsing.lisp cl-unification/unifier.lisp

[Marco Antoniotti]

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