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!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: "(see below)" Newsgroups: comp.lang.ada Subject: Re: Easy question about Character manipulation Date: Wed, 31 Jan 2007 17:24:54 +0000 Message-ID: References: <1170100860.762334.13830@l53g2000cwa.googlegroups.com> <1d5n0ksoz75yy.3t2hhxjr35fq$.dlg@40tude.net> <1170106218.6329.63.camel@localhost> <1170121405.6329.89.camel@localhost> <1170262469.28280.8.camel@localhost> Mime-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit X-Trace: individual.net V+c+U/PjZq/bWuesng3yKAZxL4/GjMbgvKx/VZALIQwtl5npVJ User-Agent: Microsoft-Entourage/11.3.3.061214 Thread-Topic: Easy question about Character manipulation Thread-Index: AcdFXLid9w75prFPEduzcQARJIjQTg== Xref: g2news2.google.com comp.lang.ada:8776 Date: 2007-01-31T17:24:54+00:00 List-Id: On 31/1/07 16:54, in article 1170262469.28280.8.camel@localhost, "Georg Bauhaus" 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 chez blueyonder.co.uk