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-21 19:56:24.000000000 +0000
+++ new-cl-unification-1/lambda-list-parsing.lisp 2013-07-21 19:56:24.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-21 19:56:24.000000000 +0000
+++ new-cl-unification-1/unifier.lisp 2013-07-21 19:56:24.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)))