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