Changeset 14370

Timestamp:

Oct 18, 2010, 3:52:03 PM (14 years ago)

Author:

gz

Message:

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

File:

• trunk/tests/ansi-tests/ccl.lsp (modified) (2 diffs)

trunk/tests/ansi-tests/ccl.lsp

@@ -933 +933 @@
 (deftest ccl.49345-i2
     (test-compiler-warning "(defun ccl.49345-i2 (x) (declare (type (sequence integer) x)) x)")
-  (:unknown-type-in-declaration))
+  (:invalid-type))
 
 (deftest ccl.49345-i3
@@ -996 +996 @@
                            :safety 3)
   ())
+
+(deftest ccl.sbcl-bootstrap-1 ;; For sbcl bootstrap, undefined type needs to be a style warning.
+    (multiple-value-bind (truename warnings-p serious-p)
+        (test-compile (test-source-file "(defun ccl.sbcl-bootstrap-1a (x)
+                                           (declare (type unknown-type-ccl.sbcl-bootstrap-1a x))
+                                           x)")
+                      :hide-warnings t)
+      (declare (ignore truename))
+      (list warnings-p serious-p))
+    (t nil))
+
 
 (deftest ccl.59726