From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Easy question about Character manipulation
Date: Tue, 30 Jan 2007 15:18:34 -0500
Date: 2007-01-30T15:18:34-05:00 [thread overview]
Message-ID: <wcclkjk8e05.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: C1E45952.91CF6%yaldnif.w@blueyonder.co.uk
"(see below)" <yaldnif.w@blueyonder.co.uk> writes:
> 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, if a Pascal compiler is supposed
>> to determine "the same type" (exact same type) by looking
>> at the definition, not the name. Otherwise two compilers
>> claiming to support ISO Pascal are broken:
>
> Trust me, I was one of the team that wrote the standard. 8-)
OK. ;-)
> T = 1 .. 3;
> S = 1 .. 3;
> This is not a matter of type equivalence,
> it is a matter of automatic type conversion on assignment
> (assignment compatibility), and that IS unlike Ada, of course.
What about parameter passing? I was under the impression that one can
pass something of type T to a parameter of type S, or a parameter of
type Integer, or vice versa, in Pascal. Please correct me if I'm
wrong.
If I'm right on that point, then I claim that we're just arguing over
terminology: saying "so-and-so are different types, but there are all
kinds of implicit conversions" amounts to roughly the same thing as
"so-and-so are the same type".
The point is, if you say this in Ada:
type T1 is range 1..10;
type T2 is range 1..10;
X : T1;
Y : T2;
is there any equivalent in Pascal that causes "X := Y" to be illegal
(or similarly for parameter passing)?
- Bob
next prev parent reply other threads:[~2007-01-30 20:18 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 [this message]
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)
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