comp.lang.ada
 help / color / mirror / Atom feed
From: Georg Bauhaus <bauhaus@futureapps.de>
Subject: Re: Easy question about Character manipulation
Date: Wed, 31 Jan 2007 17:54:30 +0100
Date: 2007-01-31T17:54:16+01:00	[thread overview]
Message-ID: <1170262469.28280.8.camel@localhost> (raw)
In-Reply-To: <C1E45952.91CF6%yaldnif.w@blueyonder.co.uk>

On Tue, 2007-01-30 at 02:09 +0000, (see below) wrote:
> On 30/1/07 01:43, in article 1170121405.6329.89.camel@localhost, "Georg
> Bauhaus" <bauhaus@arcor.de> wrote:
> 
> >> On the contrary, this *exactly* like (ISO Standard) Pascal.
> > 
> > I don't think so, ...
> 
> Trust me, I was one of the team that wrote the standard. 8-)

OK. (I _had_ skimmed iso10206.txt at some point but not iso7185.txt.
Sorry ;-)
 
> It would work just as well in Pascal if S were 1..3 and T were 2..4,
> and these are obviously not the same type.

The "same type" phrase has been a bit puzzling because it is
used in the Pascal standard, but not defined (other than via
some indirections IIUC ...)
Reminds me of the Set-equality versus Set-equivalence
discussion that has just been going on here and by the ARG
but I'm not suggesting there is more that needs to be said about
"equivalent type" versus "same type" in Pascal. :)

> (There are further classes of compatibility in other Pascal contexts.)
> 





  parent reply	other threads:[~2007-01-31 16:54 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
2007-02-01  0:07                     ` (see below)
2007-01-30 21:08             ` Dmitry A. Kazakov
2007-01-31 16:54           ` Georg Bauhaus [this message]
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