Re: Allocate an array of a record with a discriminant?

[Robert A Duff <bobduff@world.std.com>]

"Mark Lundquist" <mark@rational.com> writes:

> > type Words (Max_Word_Length : Integer) is array (Natural range <>) of Word
> > (Max_Word_Length);
> 
> You're right, an array type can't be a discriminated type (remember, a
> discriminant is a special kind of component, and while that fits into the
> idea of a record -- which has named components of arbitrary types -- it
> doesn't fit into the idea of an array, where all the components are of the
> same type and all are indexable over a range).

I think it makes perfect sense for arrays to have discriminants.  It
just happens that Ada doesn't allow it.  In fact, I would say that if
array bounds and discriminants were treated as the same thing, the
language would be simplified.

I realize this doesn't answer the original question -- but you did that
quite nicely in the rest of your posting (which I snipped).

- Bob