[armedbear-cvs] r11520 - trunk/abcl/src/org/armedbear/lisp

[Erik Huelsmann]

Author: ehuelsmann
Date: Thu Jan  1 14:57:27 2009
New Revision: 11520

Log:
Make the compiler recognize subtypes while compiling THE forms.

Note: Because SUBTYPEP isn't compatible with compiler-types, SUBTYPEP isn't good enough here.

Modified:
   trunk/abcl/src/org/armedbear/lisp/compiler-pass2.lisp

Modified: trunk/abcl/src/org/armedbear/lisp/compiler-pass2.lisp
==============================================================================
--- trunk/abcl/src/org/armedbear/lisp/compiler-pass2.lisp	(original)
+++ trunk/abcl/src/org/armedbear/lisp/compiler-pass2.lisp	Thu Jan  1 14:57:27 2009
@@ -7905,7 +7905,7 @@
            ;; signals an error if the slot's value is not a fixnum.
            (compile-form value-form target representation))
           ((and (> *safety* 0)
-                (not (subtypep (derive-type value-form) type-form)))
+                (not (compiler-subtypep (derive-type value-form) type-form)))
            (compile-form value-form 'stack nil)
            (generate-type-check-for-value type-form)
            ;; The value is left on the stack here if the type check succeeded.