X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ftype.impure.lisp;h=bf127c767389019150bdb2de87f477b72eccf81a;hb=8fa3b333d2b37f45c3702f478f784b8c6f491080;hp=503359190980310004a83a31ed9be3fffcb4bf48;hpb=2dbd79ad816bc494c1e388e739c5cc59879b7ede;p=sbcl.git

diff --git a/tests/type.impure.lisp b/tests/type.impure.lisp
index 5033591..bf127c7 100644
--- a/tests/type.impure.lisp
+++ b/tests/type.impure.lisp
@@ -182,6 +182,11 @@
 ;;; thing to want anyway, let's test for it here:
 (assert-t-t (subtypep '(or some-undefined-type (member :no-ir2-yet :dead))
 		      '(or some-undefined-type (member :no-ir2-yet :dead))))
+;;; BUG 158 (failure to compile loops with vector references and
+;;; increments of greater than 1) was a symptom of type system
+;;; uncertainty, to wit:
+(assert-t-t (subtypep '(and (mod 536870911) (or (integer 0 0) (integer 2 536870912)))
+		      '(mod 536870911))) ; aka SB-INT:INDEX.
 
 ;;;; Douglas Thomas Crosher rewrote the CMU CL type test system to
 ;;;; allow inline type tests for CONDITIONs and STANDARD-OBJECTs, and
@@ -337,6 +342,13 @@
   #.*tests-of-inline-type-tests*)
 (tests-of-inline-type-tests)
 (format t "~&/done with compiled (TESTS-OF-INLINE-TYPE-TESTS)~%")
-
+
+;;; Redefinition of classes should alter the type hierarchy (BUG 140):
+(defclass superclass () ())
+(defclass maybe-subclass (superclass) ())
+(assert-t-t (subtypep 'maybe-subclass 'superclass))
+(defclass maybe-subclass () ())
+(assert-nil-t (subtypep 'maybe-subclass 'superclass))
+
 ;;; success
 (quit :unix-status 104)