Christophe Rhodes wrote:
> Nikodemus Siivola <nikodemus@...> writes:
>
>> INDEX is (INTEGER 0 (#.ARRAYDIMENSIONLIMIT)), but length should be
>> (INTEGER 0 #.ARRAYDIMENSIONLIMIT), right?
>
> No, why?
>
> ARRAYDIMENSIONLIMIT is the upper exclusive bound on the dimension of
> an array. So any array must have a length smaller than
> ARRAYDIMENSIONLIMIT. (It is true that the type INDEX includes one
> number that cannot be used to index an array...)
Ok, thanks. Somehow I had ADL down as the exlusive bound of array
indexes.
Cheers,
 Nikodemus
