X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=inline;f=tests%2Ftype.impure.lisp;h=be9e55b3da9df35bf7ed323eae98d5f968e664ba;hb=71d60093b1a9d80c4de6c5f51c6783eef86968d9;hp=b2ac327a957282f2dbe57a31dabc8d3ed9ccb1f6;hpb=34664ac9b1d27f0dff2514c388cf10813a9b1108;p=sbcl.git

diff --git a/tests/type.impure.lisp b/tests/type.impure.lisp
index b2ac327..be9e55b 100644
--- a/tests/type.impure.lisp
+++ b/tests/type.impure.lisp
@@ -354,7 +354,6 @@
                     (mapcar #'find-class '(simple-condition
                                            condition
                                            sb-pcl::slot-object
-                                           sb-kernel:instance
                                            t))))
 
      ;; stream classes
@@ -372,18 +371,15 @@
                                                    'fundamental-stream))
                     (mapcar #'find-class '(fundamental-stream
                                            standard-object
-                                           sb-pcl::std-object
                                            sb-pcl::slot-object
                                            stream
-                                           sb-kernel:instance
                                            t))))
      (assert (equal (sb-pcl:class-precedence-list (find-class
                                                    'fundamental-stream))
                     (mapcar #'find-class '(fundamental-stream
                                            standard-object
-                                           sb-pcl::std-object
                                            sb-pcl::slot-object stream
-                                           sb-kernel:instance t))))
+                                           t))))
      (assert (subtypep (find-class 'stream) (find-class t)))
      (assert (subtypep (find-class 'fundamental-stream) 'stream))
      (assert (not (subtypep 'stream 'fundamental-stream)))))
@@ -440,4 +436,13 @@
   (assert (functionp (sb-pcl::ensure-ctor
                       (list 'sb-pcl::ctor (gensym)) nil nil))))
 
+;;; from PFD ansi-tests
+(let ((t1 '(cons (cons (cons (real -744833699 -744833699) cons)
+                       (integer -234496 215373))
+                 integer))
+      (t2 '(cons (cons (cons integer integer)
+                       (integer -234496 215373))
+                 t)))
+  (assert (null (values (subtypep `(not ,t2) `(not ,t1))))))
+
 ;;; success