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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,a1d2fe1ec5136718
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news2.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!inka.de!rz.uni-karlsruhe.de!news.belwue.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Generic warning
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <g38pkv$vi9$1@registered.motzarella.org>
 <iyg4tdla7x2a.1e9ubbvqz88c0$.dlg@40tude.net>
 <g39028$2mk$1@registered.motzarella.org>
 <ttqeca6peob2.1jgze60x240ta.dlg@40tude.net> <4858CA3B.7030101@gmail.com>
 <626i5415pe8s2jekhij85k4algrh9i1jfo@4ax.com> <48591C7C.8050304@gmail.com>
 <9kpc0dqlpz0w$.u1qnk7e1zznp$.dlg@40tude.net>
 <wccfxrau6ca.fsf@shell01.TheWorld.com>
 <1bbue8i1efnze.1eajkuma4u0p2.dlg@40tude.net> <op.ucya1mau5afhvo@naropa>
Date: Wed, 18 Jun 2008 19:04:53 +0200
Message-ID: <jmmhwcmo90tp.1obp67iwvu4wu$.dlg@40tude.net>
NNTP-Posting-Date: 18 Jun 2008 19:04:54 CEST
NNTP-Posting-Host: fecd06fd.newsspool4.arcor-online.net
X-Trace: 
 DXC=Q:SZJ\:OFdVf8j24CD<3lP4IUK<Cl32<Q4Fo<]lROoRQFl8W>\BH3YRfbFS0>NBX0PDNcfSJ;bb[UIRnRBaCd<M^JdhTW6:TI=RA=h@mX?dBP_
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:767
Date: 2008-06-18T19:04:54+02:00
List-Id: <comp.lang.ada>

On Wed, 18 Jun 2008 15:38:01 GMT, Ed Falis wrote:

> On Wed, 18 Jun 2008 11:25:24 -0400, Dmitry A. Kazakov  
> <mailbox@dmitry-kazakov.de> wrote:
> 
>> The hidden idea of
>>   type Index is range 1..Order;
>> is to let the compiler choose the base according to the actual value of
>> Order. That would not work. Alas.
> 
> But do you figure that was the intent of the original poster?

Of course no. It is the choice of one language construct over another, that
makes an Ada reader suggest something about the intent.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de