X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ftype.pure.lisp;h=90205bc0a094951a9ae9b761055b3b94dd3656eb;hb=b956ed4f9cef685d1b49be28dcd2aec1e082d994;hp=fd8409eeeaf384aad710216b3de3db3ca6b096c2;hpb=0f2ae6ebc3520494b665a9dbf32c36c671334d36;p=sbcl.git

diff --git a/tests/type.pure.lisp b/tests/type.pure.lisp
index fd8409e..90205bc 100644
--- a/tests/type.pure.lisp
+++ b/tests/type.pure.lisp
@@ -169,7 +169,6 @@
                 (subtypep '(function)
                           '(function (t &rest t))))
                '(nil t)))
-#+nil
 (assert (and (subtypep 'function '(function))
              (subtypep '(function) 'function)))
 
@@ -199,4 +198,11 @@
 			     (cons bignum single-float))
 			'(cons single-float single-float))))
 (assert (subtypep '(cons integer single-float)
-		  '(or (cons fixnum single-float) (cons bignum single-float))))
\ No newline at end of file
+		  '(or (cons fixnum single-float) (cons bignum single-float))))
+
+(assert (not (nth-value 1 (subtypep '(and null some-unknown-type)
+                                    'another-unknown-type))))
+
+;;; bug 46c
+(dolist (fun '(and if))
+  (assert (raises-error? (coerce fun 'function) type-error)))