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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,9ed2b1e061ff269d
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news1.google.com!news1.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nx02.iad01.newshosting.com!newshosting.com!novia!transit3.readnews.com!news-out.readnews.com!postnews7.readnews.com!not-for-mail
Message-Id: <4c16c229$0$2378$4d3efbfe@news.sover.net>
From: "Peter C. Chapin" <pcc482719@gmail.com>
Subject: Re: Subtypes boundaries
Newsgroups: comp.lang.ada
Date: Mon, 14 Jun 2010 20:01:26 -0400
References: <87nhicFa1kU1@mid.individual.net>
 <87nijlFa1kU2@mid.individual.net>
 <2b13f46b-65f9-450a-bb66-68c6093791c4@s9g2000yqd.googlegroups.com>
 <op.vebcy90dxmjfy8@garhos>
User-Agent: KNode/0.10.9
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8Bit
Organization: SoVerNet (sover.net)
NNTP-Posting-Host: 5bb0a032.news.sover.net
X-Trace: 
 DXC=1_Pf]njCXKV9LDU4]1BWK_K6_LM2JZB_S=Pfm5Z7jCNQ:WUUlR<856_7J]W<]Yo92WA_@DD1<ChXW
X-Complaints-To: abuse@sover.net
Xref: g2news1.google.com comp.lang.ada:11736
Date: 2010-06-14T20:01:26-04:00
List-Id: <comp.lang.ada>

Yannick Duchêne (Hibou57) wrote:

> What disturbed me, is that a literal here, match an ASTERIX while it is  
> statically out-of range ?

I think that's accepted because the literal is a Universal Integer.

Peter