X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ftype.impure.lisp;h=da143e3828af0c4289d608716c9a8951eafae2b1;hb=fcde5281a74cb29e21550f4f979ad6356f149ab9;hp=13ee083e84f8ee9f07a6a9467f37e2734b4e9add;hpb=4dbc52ee4f9a4f566701f1d33e7916e8491b918b;p=sbcl.git

diff --git a/tests/type.impure.lisp b/tests/type.impure.lisp
index 13ee083..da143e3 100644
--- a/tests/type.impure.lisp
+++ b/tests/type.impure.lisp
@@ -1,6 +1,16 @@
-(in-package :cl-user)
+;;;; This software is part of the SBCL system. See the README file for
+;;;; more information.
+;;;;
+;;;; While most of SBCL is derived from the CMU CL system, the test
+;;;; files (like this one) were written from scratch after the fork
+;;;; from CMU CL.
+;;;; 
+;;;; This software is in the public domain and is provided with
+;;;; absolutely no warranty. See the COPYING and CREDITS files for
+;;;; more information.
 
 (load "assertoid.lisp")
+(use-package "ASSERTOID")
 
 (defmacro assert-nil-nil (expr)
   `(assert (equal '(nil nil) (multiple-value-list ,expr))))
@@ -339,14 +349,14 @@
 (tests-of-inline-type-tests)
 (format t "~&/done with compiled (TESTS-OF-INLINE-TYPE-TESTS)~%")
 
-#|| Pending fix for bug 176, bug 140 has been unfixed
 ;;; Redefinition of classes should alter the type hierarchy (BUG 140):
 (defclass superclass () ())
+(defclass maybe-subclass () ())
+(assert-nil-t (subtypep 'maybe-subclass 'superclass))
 (defclass maybe-subclass (superclass) ())
 (assert-t-t (subtypep 'maybe-subclass 'superclass))
 (defclass maybe-subclass () ())
 (assert-nil-t (subtypep 'maybe-subclass 'superclass))
-||#
 
 ;;; Prior to sbcl-0.7.6.27, there was some confusion in ARRAY types
 ;;; specialized on some as-yet-undefined type which would cause this