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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!news.netfront.net!not-for-mail From: "Jeffrey R. Carter" Newsgroups: comp.lang.ada Subject: Re: Standard missing a 'Negative' subtype?... Date: Sat, 14 Sep 2013 20:28:35 -0700 Organization: Netfront http://www.netfront.net/ Message-ID: References: <7b66c649-3796-41ea-b734-a2b14d2dbac3@googlegroups.com> NNTP-Posting-Host: 172.242.61.231 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: adenine.netfront.net 1379215719 42842 172.242.61.231 (15 Sep 2013 03:28:39 GMT) X-Complaints-To: news@netfront.net NNTP-Posting-Date: Sun, 15 Sep 2013 03:28:39 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130801 Thunderbird/17.0.8 In-Reply-To: <7b66c649-3796-41ea-b734-a2b14d2dbac3@googlegroups.com> Xref: news.eternal-september.org comp.lang.ada:17186 Date: 2013-09-14T20:28:35-07:00 List-Id: On 09/14/2013 01:49 AM, Martin wrote: > Why is there no "Negative" predefined subtype in package Standard?... > > An implicit substype, something like: > > subtype Negative is Integer range Integer'First .. -1; > > I would have thought this would fit nicely with 'Natural' and 'Positive'. Obviously not needed as often as those two, > but when I finally did need it, it wasn't there! Nor are there Non_Negative (Integer'First .. 0), Reasonable_String_Index (1 .. 256 [or something]), or many others one could think of. Natural and Positive are used in the definition of other things in the ARM; nothing needed Negative (or any other subtypes). -- Jeff Carter "Now go away or I shall taunt you a second time." Monty Python and the Holy Grail --- news://freenews.netfront.net/ - complaints: news@netfront.net ---