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!news1.google.com!newsread.com!newsprint.newsread.com!news.glorb.com!feeder.enertel.nl!nntpfeed-01.ops.asmr-01.energis-idc.net!feeder.xsnews.nl!feeder.news-service.com!skynet.be!newspost001!tjb!not-for-mail Date: Mon, 25 Apr 2005 18:18:06 +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> In-Reply-To: <426d10d1$1_2@newsfeed.slurp.net> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: <426d183e$0$30465$ba620e4c@news.skynet.be> Organization: -= Belgacom Usenet Service =- NNTP-Posting-Host: f072e8dc.news.skynet.be X-Trace: 1114445886 news.skynet.be 30465 80.201.138.213:3118 X-Complaints-To: usenet-abuse@skynet.be Xref: g2news1.google.com comp.lang.ada:10688 Date: 2005-04-25T18:18:06+02:00 List-Id: James Alan Farrell wrote: > V := new Vector range 1 .. 10; Vector is a composite type, not a scalar type, so i don't think you can apply a scalar_constraint to this type. (but you are right, the grammar does not forbid it explicitly). have you looked at 3.2.2 and subsequent chapters to see what is said about constraints ? hint: often things are not forbidden in the grammar but additional constraints can be found by reading the whole text. -- rien