From: Christophe Rhodes <csr21@ca...>  20070704 11:18:17

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...) Cheers, Christophe 