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,287f73fa8b0c840d X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news1.google.com!proxad.net!fr.ip.ndsoftware.net!skynet.be!skynet.be!newspost001!tjb!not-for-mail Date: Mon, 25 Apr 2005 19:16:57 +0200 From: Adrien Plisson User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.2) Gecko/20040804 Netscape/7.2 (ax) X-Accept-Language: fr-fr, fr-be, fr, en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Syntax question: new with a constrained subtype indication References: <426d10d1$1_2@newsfeed.slurp.net> <426d183e$0$30465$ba620e4c@news.skynet.be> <426d1d0e$1_2@newsfeed.slurp.net> In-Reply-To: <426d1d0e$1_2@newsfeed.slurp.net> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable Message-ID: <426d2608$0$21878$ba620e4c@news.skynet.be> Organization: -= Belgacom Usenet Service =- NNTP-Posting-Host: e0f2f94e.news.skynet.be X-Trace: 1114449417 news.skynet.be 21878 80.201.138.213:4259 X-Complaints-To: usenet-abuse@skynet.be Xref: g2news1.google.com comp.lang.ada:10695 Date: 2005-04-25T19:16:57+02:00 List-Id: James Alan Farrell wrote: > I hope I wont have=20 > to read the *WHOLE* text to answer this one question -- it is too large= =20 > and I get lost and confused ;) well, you will have to... i found those two, defined in sections noted "legality rule": ARM95 3.6.1 =A75 "An index_constraint shall appear only in a subtype_indication whose=20 subtype_mark denotes either an unconstrained array subtype, or an=20 unconstrained access subtype whose designated subtype is an=20 unconstrained array subtype; in either case, the index_constraint=20 shall provide a discrete_range for each index of the array type." ARM95 3.7.1 =A77 "A discriminant_constraint is only allowed in a subtype_indication=20 whose subtype_mark denotes either an unconstrained discriminated=20 subtype, or an unconstrained access subtype whose designated subtype=20 is an unconstrained discriminated subtype." there is a similar paragraph for Fixed-point type (ARM95 3.5.9 =A711),=20 but strangely, i can't find one for Integer types, nor for real types... --=20 rien