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,7b5b3c67aa2a73fe
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!wns13feed!worldnet.att.net!attbi_s21.POSTED!53ab2750!not-for-mail
From: "Jeffrey R. Carter" <jrcarter@acm.org>
User-Agent: Thunderbird 1.5.0.9 (Windows/20061207)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Easy question about Character manipulation
References: <1170100860.762334.13830@l53g2000cwa.googlegroups.com>
 <1d5n0ksoz75yy.3t2hhxjr35fq$.dlg@40tude.net>
 <1170106218.6329.63.camel@localhost>
 <C1E4472E.91CBA%yaldnif.w@blueyonder.co.uk>
 <1170121405.6329.89.camel@localhost>
 <C1E45952.91CF6%yaldnif.w@blueyonder.co.uk>
 <wcclkjk8e05.fsf@shell01.TheWorld.com>
 <C1E5640E.92044%yaldnif.w@blueyonder.co.uk>
 <NZ4wh.374843$1i1.113582@attbi_s72>
 <C1E6B457.924F7%yaldnif.w@blueyonder.co.uk>
In-Reply-To: <C1E6B457.924F7%yaldnif.w@blueyonder.co.uk>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <ST9wh.248683$aJ.115281@attbi_s21>
NNTP-Posting-Host: 12.201.97.213
X-Complaints-To: abuse@mchsi.com
X-Trace: attbi_s21 1170287218 12.201.97.213 (Wed, 31 Jan 2007 23:46:58 GMT)
NNTP-Posting-Date: Wed, 31 Jan 2007 23:46:58 GMT
Organization: AT&T ASP.att.net
Date: Wed, 31 Jan 2007 23:46:58 GMT
Xref: g2news2.google.com comp.lang.ada:8798
Date: 2007-01-31T23:46:58+00:00
List-Id: <comp.lang.ada>

(see below) wrote:
> 
> That is the practical effect, but it is not what the formal semantics
> actually says. And, of course, there is more to type than assignment.

Well, there weren't really formal semantics in J&W. But what I was 
getting at was that Pascal didn't have user-defined numeric types. Like 
C, you were stuck with what the compiler gave you, which generally 
corresponded to what the hardware provided. IIRC, for integers you were 
only guaranteed Integer, though most implementations had additional 
sizes. A subrange was still the same size as Integer, but had run-time 
checks to enforce the smaller range, just like an Ada subtype.

I don't recall ever encountering a situation where I couldn't mix 
subranges on any Pascal compiler I used, and I used a few. Of course, 
that doesn't mean there weren't any ...

-- 
Jeff Carter
"Alms for an ex-leper!"
Monty Python's Life of Brian
75