Ignore:
Timestamp:
May 13, 2009, 5:52:49 PM (10 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:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/source/level-1/l1-clos-boot.lisp

    r11855 r12045  
    556556
    557557
    558 (defstatic *type-system-initialized* nil)
    559 
    560558(eval-when (eval compile)
    561559  (require 'defstruct-macros))
     
    13561354
    13571355(defun %compile-time-defclass (name environment)
     1356  (note-type-info name 'class environment)
    13581357  (unless (find-class name nil environment)
    13591358    (let ((defenv (definition-environment environment)))
Note: See TracChangeset for help on using the changeset viewer.