X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=tests%2Ftype.impure.lisp;h=fdd8fcabeba9cb3743087fc581e1c10d979a3916;hb=1513b29bfbe948e7b431b5f67f1ff10769c192cf;hp=effe4a05edd6671c37e7ef361a316af20fff9eab;hpb=3b45a7b66afe95080562d266dd447b1286abece0;p=sbcl.git

diff --git a/tests/type.impure.lisp b/tests/type.impure.lisp
index effe4a0..fdd8fca 100644
--- a/tests/type.impure.lisp
+++ b/tests/type.impure.lisp
@@ -70,7 +70,11 @@
 ;;; part I: TYPEP
 (assert (typep #(11) '(simple-array t 1)))
 (assert (typep #(11) '(simple-array (or integer symbol) 1)))
-;;; FIXME: broken by 0.pre7.15 #!-SB-INTERPRETER stuff
+;;; FIXME: This is broken because of compiler bug 123: the compiler
+;;; optimizes the type test to T, so it never gets a chance to raise a
+;;; runtime error. (It used to work under the IR1 interpreter just
+;;; because the IR1 interpreter doesn't try to optimize TYPEP as hard
+;;; as the byte compiler does.)
 #+nil (assert (raises-error? (typep #(11) '(simple-array undef-type 1))))
 (assert (not (typep 11 '(simple-array undef-type 1))))
 ;;; part II: SUBTYPEP