[Openmcl-cvs-notifications] r10605 - /trunk/source/level-1/l1-utils.lisp

[gz at clozure.com]

Author: gz
Date: Tue Sep  2 14:47:28 2008
New Revision: 10605

Log:
allow any (globally-known) type name as declaration identifier in proclaim

Modified:
    trunk/source/level-1/l1-utils.lisp

Modified: trunk/source/level-1/l1-utils.lisp
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D
--- trunk/source/level-1/l1-utils.lisp (original)
+++ trunk/source/level-1/l1-utils.lisp Tue Sep  2 14:47:28 2008
@@ -674,7 +674,9 @@
     (ftype (apply #'proclaim-ftype (%cdr spec)))
     ;(function (proclaim-ftype (cons 'function (cddr spec)) (cadr spec)))
     (t (unless (memq (%car spec) *nx-known-declarations*) ;not really righ=
t...
-         (if (memq (%car spec) *cl-types*)
+         ;; Any type name is now (ANSI CL) a valid declaration.
+         (if (and (symbolp (%car spec))
+                  (type-specifier-p (%car spec)))
            (apply #'proclaim-type spec)
            (warn "Unknown declaration specifier(s) in ~S" spec))))))
 =