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