comp.lang.ada
 help / color / mirror / Atom feed
From: "Jeffrey R. Carter" <jrcarter@acm.org>
Subject: Re: Easy question about Character manipulation
Date: Wed, 31 Jan 2007 23:46:58 GMT
Date: 2007-01-31T23:46:58+00:00	[thread overview]
Message-ID: <ST9wh.248683$aJ.115281@attbi_s21> (raw)
In-Reply-To: <C1E6B457.924F7%yaldnif.w@blueyonder.co.uk>

(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



  parent reply	other threads:[~2007-01-31 23:46 UTC|newest]

Thread overview: 27+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-01-29 20:01 Easy question about Character manipulation mark
2007-01-29 20:17 ` Dmitry A. Kazakov
2007-01-29 21:30   ` Georg Bauhaus
2007-01-30  0:51     ` (see below)
2007-01-30  1:43       ` Georg Bauhaus
2007-01-30  2:09         ` (see below)
2007-01-30 20:18           ` Robert A Duff
2007-01-30 21:07             ` (see below)
2007-01-30 22:05               ` Robert A Duff
2007-01-31  3:07                 ` (see below)
2007-01-31 18:11               ` Jeffrey R. Carter
2007-01-31 21:02                 ` (see below)
2007-01-31 23:01                   ` Robert A Duff
2007-01-31 23:23                     ` (see below)
2007-01-31 23:46                   ` Jeffrey R. Carter [this message]
2007-02-01  0:07                     ` (see below)
2007-01-30 21:08             ` Dmitry A. Kazakov
2007-01-31 16:54           ` Georg Bauhaus
2007-01-31 17:24             ` (see below)
2007-01-30 12:28 ` Martin Krischik
2007-01-30 17:50   ` Jeffrey R. Carter
2007-01-30 20:24     ` Robert A Duff
2007-01-30 21:12       ` Dmitry A. Kazakov
2007-01-30 21:39         ` Robert A Duff
2007-01-31 10:55           ` Dmitry A. Kazakov
2007-01-31 11:22           ` Martin Krischik
2007-01-31 18:14       ` Jeffrey R. Carter
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox