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-error-system.lisp

    r11932 r12045  
    7575  ((warning-type :initform :unsure)
    7676   (args :initform nil)))
    77 (define-condition undefined-function-reference (style-warning) ())
     77(define-condition undefined-reference (style-warning) ())
     78(define-condition undefined-type-reference (undefined-reference) ())
     79(define-condition undefined-function-reference (undefined-reference) ())
    7880(define-condition macro-used-before-definition (compiler-warning) ())
     81(define-condition invalid-type-warning (style-warning) ())
    7982(define-condition invalid-arguments (style-warning) ())
    8083(define-condition invalid-arguments-global (style-warning) ())
Note: See TracChangeset for help on using the changeset viewer.