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!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeedt0.toon.t-online.de!newsfeed01.sul.t-online.de!t-online.de!news.belwue.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: Easy question about Character manipulation
From: Georg Bauhaus <bauhaus@futureapps.de>
In-Reply-To: <C1E45952.91CF6%yaldnif.w@blueyonder.co.uk>
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>
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
Message-ID: <1170262469.28280.8.camel@localhost>
Mime-Version: 1.0
X-Mailer: Evolution 2.6.1 
Date: Wed, 31 Jan 2007 17:54:30 +0100
Organization: Arcor
NNTP-Posting-Date: 31 Jan 2007 17:54:16 CET
NNTP-Posting-Host: 077c14d6.newsspool1.arcor-online.net
X-Trace: 
 DXC=8]U:DEG6Fg9;]cDoEWD6A4ic==]BZ:af>4Fo<]lROoR1^YC2XCjHcb9A`m>ANT55>7N[W<lHX`=B4\6BhD5G6\i<4\^RTI4GLJ:
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:8775
Date: 2007-01-31T17:54:16+01:00
List-Id: <comp.lang.ada>

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.)
>