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,cd703a96ca51de6e
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!news.glorb.com!news-out1.kabelfoon.nl!newsfeed.kabelfoon.nl!bandi.nntp.kabelfoon.nl!zen.net.uk!demorgan.zen.co.uk!194.72.9.35.MISMATCH!news-peer1!btnet-feed5!btnet!news.btopenworld.com!not-for-mail
From: Martin Dowie <martin.dowie@btopenworld.com>
Newsgroups: comp.lang.ada
Subject: Re: 'Base
Date: Thu, 8 Dec 2005 20:27:44 +0000 (UTC)
Organization: BT Openworld
Message-ID: <dna4vu$5a6$1@nwrdmz02.dmz.ncs.ea.ibs-infra.bt.com>
References: <1134055303.758950.308680@o13g2000cwo.googlegroups.com>
   <1134065313.469475.267400@g47g2000cwa.googlegroups.com>
   <dn9uv5$nmu$1@nwrdmz02.dmz.ncs.ea.ibs-infra.bt.com>
 <1134069883.535238.218050@g47g2000cwa.googlegroups.com>
NNTP-Posting-Host: host86-131-222-143.range86-131.btcentralplus.com
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: nwrdmz02.dmz.ncs.ea.ibs-infra.bt.com 1134073664 5446 86.131.222.143
 (8 Dec 2005 20:27:44 GMT)
X-Complaints-To: news-complaints@lists.btinternet.com
NNTP-Posting-Date: Thu, 8 Dec 2005 20:27:44 +0000 (UTC)
In-Reply-To: <1134069883.535238.218050@g47g2000cwa.googlegroups.com>
X-Accept-Language: en-us, en
User-Agent: Mozilla Thunderbird 1.0.7 (Windows/20050923)
Xref: g2news1.google.com comp.lang.ada:6781
Date: 2005-12-08T20:27:44+00:00
List-Id: <comp.lang.ada>

Matthew Heaney wrote:
> Martin Dowie wrote:
> 
>>Sorry Matt - you must be ill or something as you're a wee bit "off base"
>>with your answer to this one!
> 
> [snip]
> 
>>It isn't -42 .. 42 but the 'First .. 'Last or the underlying integer
>>representation. In this case (with ObjectAda) -2147483648 to 2147483647.
> 
> 
> 
> I should have said that T'Base'Last is *at least* T'Last, of course it
> can be larger.
> 
> However, this doesn't undermine the my point that you can only depend
> on having the range guanteed by the RM, in this case -42 .. 42.
> 
> So yes it's true that your base type might include all of the values in
> a 32 bit range, but that fact is irrelevant.  The range specified in
> the RM is the only range that matters.

I just don't see that from RM 3.5, esp para 6 - and I've been back to 
Cohen and I can't see that from page 183. I'm no Language Lawer, so 
could you please point this range guarantee out to me in the RM?

I'm having trouble seeing how your definition meets the " it is also the 
range supported at a minimum for intermediate values during the 
evaluation of expressions involving predefined operators of the type." bit.

Cheers

-- Martin