Fri Jan 28 19:30:35 UTC 2005  mantoniotti
  * Fixed minor problem in Lambda List parsing.
  Fixed minor problem in Lambda List parsing.
  Also VALID-TEMPLATE-P was expanded, and it looks like it should become
  a generic function.
  
diff -rN -u old-cl-unification-1/lambda-list-parsing.lisp new-cl-unification-1/lambda-list-parsing.lisp
--- old-cl-unification-1/lambda-list-parsing.lisp	2013-07-24 17:39:14.000000000 +0000
+++ new-cl-unification-1/lambda-list-parsing.lisp	2013-07-24 17:39:14.000000000 +0000
@@ -51,12 +51,17 @@
 ;;; 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)))
 
diff -rN -u old-cl-unification-1/unifier.lisp new-cl-unification-1/unifier.lisp
--- old-cl-unification-1/unifier.lisp	2013-07-24 17:39:14.000000000 +0000
+++ new-cl-unification-1/unifier.lisp	2013-07-24 17:39:14.000000000 +0000
@@ -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)))