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 X-Received: by 10.236.124.33 with SMTP id w21mr6656067yhh.15.1379148549018; Sat, 14 Sep 2013 01:49:09 -0700 (PDT) X-Received: by 10.49.70.138 with SMTP id m10mr18504qeu.9.1379148548769; Sat, 14 Sep 2013 01:49:08 -0700 (PDT) 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!feeder.erje.net!eu.feeder.erje.net!news.glorb.com!d5no3159qap.0!news-out.google.com!gv3ni22qab.0!nntp.google.com!d5no3156qap.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sat, 14 Sep 2013 01:49:08 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=20.133.0.8; posting-account=g4n69woAAACHKbpceNrvOhHWViIbdQ9G NNTP-Posting-Host: 20.133.0.8 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <7b66c649-3796-41ea-b734-a2b14d2dbac3@googlegroups.com> Subject: Standard missing a 'Negative' subtype?... From: Martin Injection-Date: Sat, 14 Sep 2013 08:49:08 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: news.eternal-september.org comp.lang.ada:17181 Date: 2013-09-14T01:49:08-07:00 List-Id: 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! -- Martin