Re: Generic Zero Length Array

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Fri, 22 Feb 2008 15:01:02 -0800 (PST), Adam Beneschan wrote:

> [Actually, there's one case where you still can't specify a null array
> aggregate, and that's where the index type is either "mod 1" or an
> enumeration type with one value:
> 
>          type Enum is (This_One);
>          type Arr is array (Enum range <>) of Anything;
> 
> Now go ahead and try to specify a zero-element array aggregate of type
> Arr.  You can't.  But this is a pretty pathological case so it's not
> worth trying to change the language for it.]

I think it would, because the problem is that a null range cannot
specified. And more generally is that ranges aren't first-class citizens.
The language would be better if that were fixed.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de