Ticket #1031 (closed defect: fixed)
ASH optimization shouldn't assume that types are numeric types
|Reported by:||gb||Owned by:|
The currently last COND clause in ACODE-OPTIMIZE-ASH tries to inline some calls to ASH based on information about the arguments' types; it erroneously assumes that if the types are subtypes of FIXNUM, they must be represented as NUMERIC-CTYPEs in CCL. Types specified as (e.g.) (MEMBER 23 5) are subtypes of FIXNUM that aren't represented as NUMERIC-CTYPEs.
This clause in ACODE-OPTIMIZE-ASH shouldn't make this assumption.