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,bc4137777a63bff
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!proxad.net!newsfeed.stueberl.de!newsfeed.vmunix.org!news-peer.gradwell.net!news-peer-lilac.gradwell.net!not-for-mail
From: "Martin Dowie" <martin.dowie@baesystems.com>
Newsgroups: comp.lang.ada
References: <1122305318.728942.304120@f14g2000cwb.googlegroups.com>
   <2OudnZo-iL1aN3jfRVn-iQ@comcast.com>
   <1122475184.849564.159870@g44g2000cwa.googlegroups.com>
   <IIudnVT7F-2b33XfRVn-vQ@comcast.com>
   <1122547648.069514.63520@g14g2000cwa.googlegroups.com>
   <BoKdnS8fwMziEXTfRVn-qA@comcast.com>
   <1122980923.842598.181310@g49g2000cwa.googlegroups.com>
   <o04ve11odsjs756915g5eonn0g1guopih2@4ax.com>
 <1123069124.562944.246730@o13g2000cwo.googlegroups.com>
 <42f0b3a6$0$11750$9b4e6d93@newsread4.arcor-online.net>
Subject: Re: Help needed for ada package
Date: Wed, 3 Aug 2005 17:48:16 +0100
Organization: BAE SYSTEMS
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1506
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1506
Message-ID: <42f0f359$1_1@glkas0286.greenlnk.net>
X-Original-NNTP-Posting-Host: glkas0286.greenlnk.net
NNTP-Posting-Date: 03 Aug 2005 16:48:42 GMT
NNTP-Posting-Host: 20.133.0.1
X-Trace: 1123087722 news.gradwell.net 38044 dnews/20.133.0.1
X-Complaints-To: news-abuse@gradwell.net
Xref: g2news1.google.com comp.lang.ada:3933
Date: 2005-08-03T16:48:42+00:00
List-Id: <comp.lang.ada>

Georg Bauhaus wrote:
> Likewise, you can write loops,
>
>    for k in ID'range loop
>       ...
>    end loop;
>
> or
>
>    some_variable: Some_Array_Type;
>    ...
>    for k in some_variable'first .. some_variable'last loop
>       -- use some_variable(k) here
>    end loop;

but preferably:

for k in some_variable'range loop
   -- use some_variable (k) here
end loop;

The compiler will deduce there are no runtime checks required with this
construct but I've seen plenty compilers that will insert checks in the
other forms (even though we can see they aren't really needed).

Cheers

-- Martin