Re: Selective suppression of warnings --- gnat on GNU/Linux

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

"(see below)" <yaldnif.w@blueyonder.co.uk> writes:

> On 31/12/2008 09:46, in article 42ffjg.s9b.ln@hunter.axlog.fr, "Jean-Pierre
> Rosen" <rosen@adalog.fr> wrote:
>
>> By all means, please, let's get rid of Integer!
>
> And String? ?-)

Well, since we're talking about grossly incompatible changes, we might
as well have:

    type String_Index is range 1..<implementation-defined>;
    type String is array (String_Index range <>) of Character;

More generally, it would also be nice to have a way to say, "Give me a
number that would be appropriate as the upper bound of an array whose
component type is T."  The number would be guaranteed to be big enough
that you would get Storage_Error if you ever create an array that big.

- Bob