Re: One type for all

[Keith Thompson <kst@cts.com>]

Robert Dewar <robert_dewar@my-deja.com> writes:
[...]
> Well I am not sure I get that joke, but I am a little surprised
> that no one has chimed in here to give the exact Pascal rules
> from the standard (either one :-)

Oh, all right, if you insist.  8-)}

In the Pascal User Manual and Report, third edition (1985) by Jensen
and Wirth, section 6.5, Type Compatibility:

] 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.

Since this edition is based on the ISO Pascal Standard, I presume the
standard itself says essentially the same thing.  (I have a copy lying
around somewhere, but I can't find it.)

-- 
Keith Thompson (The_Other_Keith) kst@cts.com  <http://www.ghoti.net/~kst>
San Diego Supercomputer Center           <*>  <http://www.sdsc.edu/~kst>
One of the great tragedies of ancient history is that Helen of Troy
lived before the invention of the champagne bottle.