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,4ff929aa5c2b2834 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!news1.google.com!news.germany.com!newsfeed.thomas-huehn.de!news.thomas-huehn.de!newspeer2.se.telia.net!se.telia.net!masternews.telia.net.!newsb.telia.net.POSTED!not-for-mail From: =?ISO-8859-1?Q?Bj=F6rn?= Persson Subject: Re: Ranges and (non)static constraints Newsgroups: comp.lang.ada References: <1pqs0gcno5o2t.1195tm9yap28b.dlg@40tude.net> <160ziiyah2n7g.5k340gtji747.dlg@40tude.net> User-Agent: KNode/0.10.4 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8Bit Message-ID: Date: Sun, 19 Nov 2006 12:13:13 GMT NNTP-Posting-Host: 83.250.106.238 X-Complaints-To: abuse@telia.com X-Trace: newsb.telia.net 1163938393 83.250.106.238 (Sun, 19 Nov 2006 13:13:13 CET) NNTP-Posting-Date: Sun, 19 Nov 2006 13:13:13 CET Organization: Telia Internet Xref: g2news2.google.com comp.lang.ada:7562 Date: 2006-11-19T12:13:13+00:00 List-Id: Jeffrey R. Carter wrote: >> Well, I'll quibble with your names, here. �When God created the >> integers, He didn't say they stop at 2**31-1 or 2**64 or whatever! >> The term "integer" (or the abbreviation "int") ought to mean the true >> unbounded integers. �Names like Unbounded_Integer and _universal_integer >> are an abomination. �;-) > > You may have a point, there. What do you think the Ada type Integer > should be called, if Integer referred to Z? How about Hardware_Integer, Machine_Integer or Efficient_Integer? -- Bj�rn Persson PGP key A88682FD omb jor ers @sv ge. r o.b n.p son eri nu