From: Nikodemus Siivola <nikodemus@ra...>  20070704 11:23:02

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 