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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,640b65cbfbab7216
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada.Strings.Bounded
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <q5CdnepU0ZzTxmzanZ2dnUVZ_t-nnZ2d@earthlink.com>
  <47F652F7.9050502@obry.net>
 <d478eba3-b8d5-4727-bdd6-2fd68c341427@n1g2000prb.googlegroups.com>
 <e29ab2eb-4d08-4f15-96b4-de8318a94bab@1g2000prg.googlegroups.com>
 <47f7028d$1_6@news.bluewin.ch> <47F749CB.30806@obry.net>
 <f10fbaff-0546-4c3f-9d62-267bbdcea7ea@w4g2000prd.googlegroups.com>
 <96x8my4o4m7e.fskzcb6i31ty$.dlg@40tude.net>
 <276e98e3-3b3b-4cbf-b85c-dcae79f11ec5@b5g2000pri.googlegroups.com>
 <wccr6d94j6e.fsf@shell01.TheWorld.com>
 <013e1d52-c25f-49ea-83ef-6ac4860858bf@s13g2000prd.googlegroups.com>
 <8g2rpvi2ahu0$.1ebsyq5yu1whf.dlg@40tude.net>
 <9a3ad8ca-9f44-42db-9f7c-c5f9e3ee60f3@w1g2000prd.googlegroups.com>
 <1jdzw15tbj376$.nyv9yml75wj4$.dlg@40tude.net>
 <80c6fdca-1a89-4d98-b61d-9a405e57d8e5@s13g2000prd.googlegroups.com>
 <1wh7cbu67y4wz$.7iu8likx0fct.dlg@40tude.net>
 <bc3a8b4e-63fe-47a6-b10b-7056f6d7d586@w5g2000prd.googlegroups.com>
Date: Tue, 15 Apr 2008 16:58:12 +0200
Message-ID: <144w648u50r6q.1erjxxu0cplbw.dlg@40tude.net>
NNTP-Posting-Date: 15 Apr 2008 16:58:12 CEST
NNTP-Posting-Host: a307d62b.newsspool2.arcor-online.net
X-Trace: 
 DXC=<2[XPY0QRh=kUFX=Y?aLP;A9EHlD;3Yc24Fo<]lROoR1Fl8W>\BH3Y2?lZb4T29SD=DNcfSJ;bb[5FCTGGVUmh?4LK[5LiR>kg2QBKNlHT8oK?
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:20959
Date: 2008-04-15T16:58:12+02:00
List-Id: <comp.lang.ada>

On Tue, 15 Apr 2008 06:56:57 -0700 (PDT), Eric Hughes wrote:

> On Mon, 14 Apr 2008 19:07:25 -0700 (PDT), Eric Hughes wrote:
>> Seriously, we just disagree about this.  I can't take
>> universal_integer seriously as a root class, because it's impossible
>> to write down any representation of it.
> 
> On Apr 15, 2:02 am, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
> wrote:
>> Yes, because it is not what you wanted it be.
> 
> I assert that that Ada as currently defined has no bound on the size
> of numbers within universal_integer.

It specifies the lower bound and leaves the upper bound up to the vendor.
Which by no means imply that there were no upper bound. In any given
instance of Ada compiler universal_integer has an upper bound. Moreover,
because the number of all instances of all existed, existing and future Ada
compilers is obviously finite, there also exists the upper bound of
universal_integer as a whole.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de