Changeset 11520


Ignore:
Timestamp:
01/01/09 14:57:27 (12 years ago)
Author:
ehuelsmann
Message:

Make the compiler recognize subtypes while compiling THE forms.

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/abcl/src/org/armedbear/lisp/compiler-pass2.lisp

    r11519 r11520  
    79067906           (compile-form value-form target representation))
    79077907          ((and (> *safety* 0)
    7908                 (not (subtypep (derive-type value-form) type-form)))
     7908                (not (compiler-subtypep (derive-type value-form) type-form)))
    79097909           (compile-form value-form 'stack nil)
    79107910           (generate-type-check-for-value type-form)
Note: See TracChangeset for help on using the changeset viewer.