X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ftype.pure.lisp;h=593e45e1bcf0783b35edee3de00a00f8fa351753;hb=01e9e8c568777d6480699e6cb3947f38c3bed350;hp=3c42e2d4550b30a5e5092a23805a92e3ec6f6a3b;hpb=bb471853b088e65a3e7821b6ab23494c4fe67af3;p=sbcl.git

diff --git a/tests/type.pure.lisp b/tests/type.pure.lisp
index 3c42e2d..593e45e 100644
--- a/tests/type.pure.lisp
+++ b/tests/type.pure.lisp
@@ -304,3 +304,32 @@ ACTUAL ~D DERIVED ~D~%"
 ;;; all sorts of answers are right for this one, but it used to
 ;;; trigger an AVER instead.
 (subtypep '(function ()) '(and (function ()) (satisfies identity)))
+
+(assert (sb-kernel:unknown-type-p (sb-kernel:specifier-type 'an-unkown-type)))
+
+(assert
+ (sb-kernel:type=
+  (sb-kernel:specifier-type '(or (simple-array an-unkown-type (*))
+                              (simple-array an-unkown-type)))
+  (sb-kernel:specifier-type '(or (simple-array an-unkown-type (*))
+                              (simple-array an-unkown-type)))))
+
+(assert
+ (sb-kernel:type=
+  (sb-kernel:specifier-type '(simple-array an-unkown-type (*)))
+  (sb-kernel:specifier-type '(simple-array an-unkown-type (*)))))
+
+(assert
+ (not
+  (sb-kernel:type=
+   (sb-kernel:specifier-type '(simple-array an-unkown-type (*)))
+   (sb-kernel:specifier-type '(array an-unkown-type (*))))))
+
+(assert
+ (not
+  (sb-kernel:type=
+   (sb-kernel:specifier-type '(simple-array an-unkown-type (7)))
+   (sb-kernel:specifier-type '(simple-array an-unkown-type (8))))))
+
+(assert (typep #p"" 'sb-kernel:instance))
+(assert (subtypep '(member #p"") 'sb-kernel:instance))