Re: [Sbcl-devel] array element checking

[Raymond T. <to...@rt...>]

>>>>> "Christophe" == Christophe Rhodes <cs...@ca...> writes:

    Christophe> It might be nice were 
    Christophe>   (declaim (type (array (signed-byte 64) (*)) *bar*))
    Christophe> respected to the extent of signalling a condition; however, it appears
    Christophe> that currently this does not suffice.

I think CMUCL used to do this by having the compiler use the declared
type rather than the upgraded type.  I think there were some issues
with this approach, but I can't remember what they were.

Ray