Per Bothner writes: >> The lower bound b and the upper bound e of a dimension are exact >> integers with |(<= b e)|. > > This should be (<= b (- e 1)) if you believe in APL, which has > "always" allowed 0-element arrays. So does Common Lisp. I think we > should too, We do. The upper bound is excluded from the dimension, same as the arguments to substring in R5RS. -- Jussi