comp.lang.ada
 help / color / mirror / Atom feed
From: "(see below)" <yaldnif.w@blueyonder.co.uk>
Subject: Re: Easy question about Character manipulation
Date: Wed, 31 Jan 2007 17:24:54 +0000
Date: 2007-01-31T17:24:54+00:00	[thread overview]
Message-ID: <C1E68166.92424%yaldnif.w@blueyonder.co.uk> (raw)
In-Reply-To: 1170262469.28280.8.camel@localhost

On 31/1/07 16:54, in article 1170262469.28280.8.camel@localhost, "Georg
Bauhaus" <bauhaus@futureapps.de> wrote:

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

Yes. I guess any logical structure must rest on some
basic terms that are taken not to need explanation,
and "same type" seems to fall into that category in ISO7185.

I've just realized that it is almost exactly 30 years since
we convened at the London HQ of the British Standards Institute
to begin the Pascal standardization process. Tempus fugit! 8-)

-- 
Bill Findlay
<surname><forename> chez blueyonder.co.uk





  reply	other threads:[~2007-01-31 17:24 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
2007-01-31 17:24             ` (see below) [this message]
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