Changeset 14370


Ignore:
Timestamp:
Oct 18, 2010, 10:52:03 PM (9 years ago)
Author:
gz
Message:

Fix test for invalid type in declaration. Add test for unknown type in declaration

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/tests/ansi-tests/ccl.lsp

    r14314 r14370  
    933933(deftest ccl.49345-i2
    934934    (test-compiler-warning "(defun ccl.49345-i2 (x) (declare (type (sequence integer) x)) x)")
    935   (:unknown-type-in-declaration))
     935  (:invalid-type))
    936936
    937937(deftest ccl.49345-i3
     
    996996                           :safety 3)
    997997  ())
     998
     999(deftest ccl.sbcl-bootstrap-1 ;; For sbcl bootstrap, undefined type needs to be a style warning.
     1000    (multiple-value-bind (truename warnings-p serious-p)
     1001        (test-compile (test-source-file "(defun ccl.sbcl-bootstrap-1a (x)
     1002                                           (declare (type unknown-type-ccl.sbcl-bootstrap-1a x))
     1003                                           x)")
     1004                      :hide-warnings t)
     1005      (declare (ignore truename))
     1006      (list warnings-p serious-p))
     1007    (t nil))
     1008
    9981009
    9991010(deftest ccl.59726
Note: See TracChangeset for help on using the changeset viewer.