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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,1116ece181be1aea
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-10-03 14:42:11 PST
Path: 
 archiver1.google.com!news2.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!cambridge1-snf1.gtei.net!news.gtei.net!bos-service1.ext.raytheon.com!cyclone.swbell.net!newsfeed1.easynews.com!easynews.com!easynews!border3.nntp.aus1.giganews.com!intern1.nntp.aus1.giganews.com!nntp.giganews.com!nntp.gbronline.com!news.gbronline.com.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 03 Oct 2003 16:42:06 -0500
Date: Fri, 03 Oct 2003 16:42:18 -0500
From: Wes Groleau <groleau@freeshell.org>
Reply-To: groleau@freeshell.org
Organization: Ain't no organization here!
User-Agent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X Mach-O; en-US;
 rv:1.4) Gecko/20030624
X-Accept-Language: en-us, en, es-mx, pt-br, fr-ca
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Is the Writing on the Wall for Ada?
References: <3F739C1D.4030907@attbi.com> <uoex8i8i9.fsf@earthlink.net>
 <na5fnvcqjdvjbutt1s7hu9mhqadjk4jemb@4ax.com> <3F78E850.8010401@comcast.net>
 <slrnbniahu.g9.randhol+valid_for_reply_from_news@kiuk0152.chembio.ntnu.no>
 <3F797748.3000203@noplace.com> <834clb.uan1.ln@skymaster>
 <3F79EF18.7060600@comcast.net>
 <slrnbnjv9h.f3.randhol+valid_for_reply_from_news@kiuk0152.chembio.ntnu.no>
 <Y1Aeb.10094$kD3.173@nwrdny03.gnilink.net> <3F7B1076.8060106@comcast.net>
 <5mknnv4u96qqudrt4bd8n4t1cljp2fjlp8@4ax.com> <3F7C810E.7070100@comcast.net>
 <blklut$dala6$2@ID-77047.news.uni-berlin.de>
In-Reply-To: <blklut$dala6$2@ID-77047.news.uni-berlin.de>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <3G2dnS15r8mycOCiXTWJkA@gbronline.com>
NNTP-Posting-Host: 69.9.86.72
X-Trace: 
 sv3-6BKxLKQ8+NP583wPBawOzjbXPEZ+VsXRdEj6lSQdU91+9DCR69zXwNHN9mBLeMq4O8GcpL63aUu/UYl!1yPXlzL039jLMTwbU8juiTKrUaqDomNQmm/1D9eIajxIcbjwfnJjGggWnr9LSFrWIAh0HK6741hl
X-Complaints-To: abuse@gbronline.com
X-DMCA-Complaints-To: abuse@gbronline.com
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.1
Xref: archiver1.google.com comp.lang.ada:175
Date: 2003-10-03T16:42:18-05:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote:
> This is what I want. And this is what arrays cannot:
> 
> type Element (Constraint : Natural) is ...;
> type Array_Of_Elements is array (...) of Element;
> 
> This is not allowed, because I cannot constrain Element, and there is no way
> to do it other than create a constrained subtype of Element.

I realize this is not exactly what you meant,
but is it not possible to do this:

    type Element (Constraint : Natural) is ...;

    type Array_Of_Elements is array (...) of Element;

    Demo : Array_Of_Elements :=
           ( (Constraint =>  1,  .... ),
             (Constraint =>  5,  .... ),
             ....
             (Constraint => 32,  .... ),
             (Constraint => 11,  .... ) );

= OR =

    type Element (Constraint : Natural := 0) is ...;

    type Array_Of_Elements is array (...) of Element;

    Demo : Array_Of_Elements;

-- 
Wes Groleau
    "Would the prodigal have gone home if
     the elder brother was running the farm?"
                       -- James Jordan