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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: Ada.Strings.Fixed.Count raises Storage_Error
Date: Fri, 1 Jul 2016 12:55:45 +0200
Organization: A noiseless patient Spider
Message-ID: <nl5i7k$oql$1@dont-email.me>
References: <57346ac8$0$4570$426a74cc@news.free.fr>
 <nh2ugj$k6r$1@dont-email.me> <nkpgrl$1r41$1@gioia.aioe.org>
 <bd07cd4b-6bfc-4cd0-83b9-a53bb3e7ecea@googlegroups.com>
 <dthecrFe9fjU1@mid.individual.net> <nl03f9$9mi$1@dont-email.me>
 <dtifmjFl15cU1@mid.individual.net> <wccr3bfu496.fsf@TheWorld.com>
 <dtjpj8Fsm6rU1@mid.individual.net>
 <d08efdc7-e640-4963-a527-3d033eefb979@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 1 Jul 2016 10:55:48 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="2b3884a634d8f846e0712b4e3a92507a";
	logging-data="25429"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18xhpvQU9a5K2tt09oYUMoV"
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:45.0) Gecko/20100101
 Thunderbird/45.1.1
In-Reply-To: <d08efdc7-e640-4963-a527-3d033eefb979@googlegroups.com>
Cancel-Lock: sha1:D+DBzZQDeJNy1/WVQeolFQSO2S0=
Xref: news.eternal-september.org comp.lang.ada:30988
Date: 2016-07-01T12:55:45+02:00
List-Id: <comp.lang.ada>

Le 01/07/2016 à 12:40, rieachus@comcast.net a écrit :
> No it is not.  There was a huge amount of wrangling about the
> consequences of the type Integer being 16-bits in size in Ada 83.
> The classic issue was that code for loops generated normally would
> never terminate for a loop over Integer'Range.  (Strings were fine
> because they began at +1.)

I don't remember anything like that. And there is no problem for
generating correct code for a loop that spans over all values of a type,
you just have to exit in the middle - without efficiency penalty.
-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr