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-7-bit Path: g2news1.google.com!news4.google.com!news.glorb.com!feeder.xsnews.nl!news-out2.kabelfoon.nl!newsfeed.kabelfoon.nl!bandi.nntp.kabelfoon.nl!newsfeed.multikabel.nl!skynet.be!newspost001!tjb!not-for-mail Date: Mon, 25 Apr 2005 19:22:38 +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> <426d20f8$1_1@glkas0286.greenlnk.net> In-Reply-To: <426d20f8$1_1@glkas0286.greenlnk.net> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: <426d275e$0$1403$ba620e4c@news.skynet.be> Organization: -= Belgacom Usenet Service =- NNTP-Posting-Host: e0f2f94e.news.skynet.be X-Trace: 1114449758 news.skynet.be 1403 80.201.138.213:4356 X-Complaints-To: usenet-abuse@skynet.be Xref: g2news1.google.com comp.lang.ada:10696 Date: 2005-04-25T19:22:38+02:00 List-Id: Martin Dowie wrote: > What about 4.8(4): > > "An initialized allocator is an allocator with a qualified_expression. An > uninitialized allocator is one with a subtype_indication. In the > subtype_indication of an uninitialized allocator, a constraint is > permitted > only if the subtype_mark denotes an unconstrained composite subtype; > if there is no constraint, then the subtype_mark shall denote a definite > subtype." but this one does not forbid to write a scalar_constraint when the subtype_mark is a composite type... -- rien