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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,1116ece181be1aea
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-10-09 07:33:22 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeed.berkeley.edu!ucberkeley!newstransit.mitre.org!news.tufts.edu!uunet!dca.uu.net!ash.uu.net!spool.news.uu.net!not-for-mail
Date: Thu, 09 Oct 2003 10:33:18 -0400
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.5b) Gecko/20030901 Thunderbird/0.2
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Counter-proposal for variable arrays
References: <3F7B1076.8060106@comcast.net>
 <5mknnv4u96qqudrt4bd8n4t1cljp2fjlp8@4ax.com>
 <CZOdnWbTwIxOruGiU-KYgw@gbronline.com>
 <blklum$dala6$1@ID-77047.news.uni-berlin.de>
 <1065215180.95094@master.nyc.kbcfp.com>
 <blm0av$dkoad$3@ID-77047.news.uni-berlin.de>
 <akOfb.23883$kD3.11661@nwrdny03.gnilink.net>
 <19p2ovk1jh4krn2h5cql44p37ovf6va99i@4ax.com>
 <FyOgb.36403$541.32150@nwrdny02.gnilink.net>
 <4pe7ov0gsepk8p8cq88ropvq4sookdhatk@4ax.com>
 <1065635640.270857@master.nyc.kbcfp.com>
 <725aovsqh10dv5p5nh1e7k2qvjjcqustsa@4ax.com>
In-Reply-To: <725aovsqh10dv5p5nh1e7k2qvjjcqustsa@4ax.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Organization: KBC Financial Products
Message-ID: <1065709998.992831@master.nyc.kbcfp.com>
Cache-Post-Path: master.nyc.kbcfp.com!unknown@nightcrawler.nyc.kbcfp.com
X-Cache: nntpcache 3.0.1 (see http://www.nntpcache.org/)
NNTP-Posting-Host: 204.253.250.10
X-Trace: 1065709999  1718 204.253.250.10
Xref: archiver1.google.com comp.lang.ada:539
Date: 2003-10-09T10:33:18-04:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote:
> It is already so. Consider:
> type Tricky (I, J : Positive) is record
>    X : String (1..I);
>    Y : String (1..J);
> end record;
> The offset to Y is variable and depends on the value of I.

I Didn't Know You Could Do That In Ada(tm). :-)
It really works that way? And you can have procedures
which just take unconstrained Tricky parameters, and
they'll know how to deal with all instances? Cool!

> For good or bad, neither Ada is C++ nor I have Stroustrup's influence
> on the language design. There should be some consensus reached. And of
> course, any change undertaken have to be carefully reviewed.

Don't underestimate the power of Just Doing It. You know how they
say that it's easier to get forgiveness than permission. If the
feature were actually added to a popular compiler and worked well,
that would be a big step in gaining acceptance.