Re: Normalizing array indices

[Robert A Duff <bobduff@shell01.TheWorld.com>]

stefan-lucks@see-the.signature writes:

> I am relieved that I am not the only one who happened to suffer from such a 
> problem. Still, I think a way to *specify* a formal subprogram parameter F 
> such that F'First is a given constant, regardless of A'First if A is the 
> actual parameter, would be ease testing and might be a good extension to 
> Ada (2020?).

I think you want it on the type.  Ada 9X proposed something like:

    type T (Last : Natural) is array (1..Last) of Blah;

to fix the lower bound at 1.  Slices should slide.

It's still a good idea, and will probably still be a good idea
in 2020.

- Bob