On 4/1/26 17:45, John Cowan wrote:
> On Tue, Mar 31, 2026 at 11:07 AM Per Bothner <xxxxxx@bothner.com> wrote:
>
>> How do you specify array-bounds without it being confusible with the datum?]\\\\
>
> That's why the number of dimensions is mutually exclusive with the
> (lower) bounds. If the bounds are made mandatory, as I am now
> suggesting, then there is no need for the number of dimensions.

I was thinking about SRFI-style numeric vectors.
For example #u32(1 1)((4 5) (10 12)) - is this a 2*2 u32 rank-2 array
with lower bounds (1 1) and datum ((4 5) (10 12)) - or it is
a u32vector with length 2, followed by a list of lists.

The SRFI-268 specification states that the '#' is followed by an
optional type tag, but the examples seem to show that the '#'
must be followed by 'a'.  An EBNF syntax would help clarify.
--
	--Per Bothner
xxxxxx@bothner.com   http://per.bothner.com/