Re: One type for all

[Robert Dewar <robert_dewar@my-deja.com>]

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.