Changeset 12045 for trunk/source/lib/macros.lisp

Timestamp:

May 13, 2009, 5:52:49 PM (12 years ago)

Author:

gz

Message:

Extend the mechanism used to warn about undefined and duplicate functions in a
compilation unit to do the same for types, use it for types defined by
deftype/defstruct/defclass.

Also make proclaim-type err on invalid types and warn about undefined ones.

Tighten up assorted type/ftype declaration checking. This in turn unleashed
a bunch of test suite tests requiring errors on conflicts between DECLARATION
declarations and types, so I put in checks for those as well.

File:

• trunk/source/lib/macros.lisp (modified) (2 diffs)

trunk/source/lib/macros.lisp

@@ -1991 +1991 @@
                         (setq type-p t))
                       (setq type (cadr options))
-                      ;; complain about illegal typespecs
+                      ;; complain about illegal typespecs and continue
                       (handler-case (specifier-type type env)
-                        (invalid-type-specifier ()
+                        (program-error ()
                           (warn "Invalid type ~s in ~s slot definition ~s" type class-name slot))))
                      (:initform
@@ -2045 +2045 @@
                                       (length illegal) illegal keyvect))))
           `(progn
+             (when (memq ',class-name *nx-known-declarations*)
+               (check-declaration-redefinition ',class-name 'defclass))
             (eval-when (:compile-toplevel)
               (%compile-time-defclass ',class-name ,env)