From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,d679dd7e9c16805a
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!cyclone1.gnilink.net!gnilink.net!nx01.iad.newshosting.com!newshosting.com!newspeer.monmouth.com!newsswitch.lcs.mit.edu!nntp.TheWorld.com!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Selective suppression of warnings --- gnat on GNU/Linux
Date: Wed, 31 Dec 2008 14:49:02 -0500
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wcchc4kyvkh.fsf@shell01.TheWorld.com>
References: 
 <7a6baa71-80e8-4f3a-80b6-34935bda2fc0@r10g2000prf.googlegroups.com>
 <wccr63p1cke.fsf@shell01.TheWorld.com> <42ffjg.s9b.ln@hunter.axlog.fr>
 <C5816DB9.1065AB%yaldnif.w@blueyonder.co.uk>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: pcls4.std.com 1230752942 8121 192.74.137.71 (31 Dec 2008 19:49:02
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Wed, 31 Dec 2008 19:49:02 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:zDCGaZtgwcEZoRhN+ukyNXmktzc=
Xref: g2news1.google.com comp.lang.ada:3158
Date: 2008-12-31T14:49:02-05:00
List-Id: <comp.lang.ada>

"(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