Re: Apparent CMU CL compiler bug

Gareth McCaughan <gmccaughan@xxxxxxxxxxxxxxxx> writes:

> Type-error in KERNEL::OBJECT-NOT-TYPE-ERROR-HANDLER:
>    536870911 is not of type (MOD 536870911)
> 
> Restarts:
>   0: [ABORT] Return to Top-Level.
> 
> Debug  (type H for help)
> 
> (C::VOLATILE-INFO-LOOKUP 3
>                          #<C::VOLATILE-INFO-ENV "Working">
>                          #:INDEX-0
>                          536870911)[:EXTERNAL]

This looks like an inappropriate use of type INDEX in
VOLATILE-INFO-LOOKUP.  Type INDEX is (INTEGER 0
(MOST-POSITIVE-FIXNUM)), which is used for array indices.  The last
parameter to VOLATILE-INFO-LOOKUP is a hash value which may well be
equal to MOST-POSITIVE-FIXNUM, as this example shows.