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.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,9d0b383ee17c13af
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: One type for all
Date: 1999/07/19
Message-ID: <7mttci$edv$1@nnrp1.deja.com>#1/1
X-Deja-AN: 502536534
References: <3783E0D2.5D74243@boeing.com> <3786741C.E73F1124@hso.link.com>
 <7mdobd$fu$1@nnrp1.deja.com> <1999Jul12.193436.1@eisner>
 <7mqueq$k7e$1@nnrp1.deja.com> <yeciu7hg0oo.fsf@king.cts.com>
X-Http-Proxy: 1.0 x39.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Share what you know. Learn what you don't.
X-Article-Creation-Date: Mon Jul 19 01:01:10 1999 GMT
X-MyDeja-Info: XMYDJUIDrobert_dewar
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I)
Date: 1999-07-19T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <yeciu7hg0oo.fsf@king.cts.com>,
  Keith Thompson <kst@cts.com> wrote:
> ] Two types are said to be _compatible_ if any of the
> following four conditions is true.
> ]
> ]     (a) They are the same type.
> ]     (b) One is a subrange of the other, or both are
subranges of the
> ]         same host type.
> ]     (c) Both are set types, their base types are compatible,
and either
> ]         both are packed or neither is packed.
> ]     (d) Both are string types with the same number of
components.


OK, so those are VERY restictive cases. (a) and (b) correspond
closely to the Ada rules, and (c) and (d) are very special
cases, similar in spirit indeed to the restricted Ada rules.

So thanks, it is indeed the case that Pascal does NOT have
structural type equivalence, which is what I remembered (any
other conclusion would have been a big surprise!)


Sent via Deja.com http://www.deja.com/
Share what you know. Learn what you don't.