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: a07f3367d7,9ed2b1e061ff269d
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.straub-nv.de!proxad.net!feeder1-2.proxad.net!usenet-fr.net!gegeweb.org!aioe.org!news.tornevall.net!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Subtypes boundaries
Date: Mon, 14 Jun 2010 13:36:13 -0700
Organization: TornevallNET - http://news.tornevall.net
Message-ID: <hv640h$th1$1@tornado.tornevall.net>
References: <87nhicFa1kU1@mid.individual.net>
NNTP-Posting-Host: 3e5f2c92b64f309ef723a132076b18de
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: 82ee6996557df88c9f5790a1bd816b51
X-Complaints-To: abuse@tornevall.net
User-Agent: Thunderbird 2.0.0.24 (X11/20100411)
X-Complaints-Language: Spoken language is english or swedish - NOT ITALIAN,
 FRENCH, GERMAN OR ANY OTHER LANGUAGE!
In-Reply-To: <87nhicFa1kU1@mid.individual.net>
X-Validate-Post: 
 http://news.tornevall.net/validate.php?trace=82ee6996557df88c9f5790a1bd816b51
X-SpeedUI: 1738
X-Complaints-Italiano: Non abbiamo padronanza della lingua italiana - se
 mandate una email scrivete solo in Inglese, grazie
X-Posting-User: 0243687135df8c4b260dd4a9a93c79bd
Xref: g2news1.google.com comp.lang.ada:11784
X-Original-Bytes: 2209
Date: 2010-06-14T13:36:13-07:00
List-Id: <comp.lang.ada>

Nobody wrote:
> 
> I am new to Ada and found the following declaration in my text book:
> 
> type ASTERIX is range -5_000..+10_000;
> subtype IDEFIX is range 1..20_000;

Which text book are you using? All caps for identifiers has not been commonly 
used for 15 years or more.

If you really found that in your text, you should get another text. The 
declaration of Idefix is invalid, as it does not give the parent subtype. A 
valid subtype declaration is

subtype Positive is Integer range 1 .. Integer'Last;

You are correct that the range of a subtype cannot exceed that of its parent.

-- 
Jeff Carter
"Apart from the sanitation, the medicine, education, wine,
public order, irrigation, roads, the fresh water system,
and public health, what have the Romans ever done for us?"
Monty Python's Life of Brian
80