On Wed, May 23, 2007 at 05:48:32PM +0300, Christos Chryssochoidis wrote:
>
> On 23 Μαϊ 2007, at 3:05 ΜΜ, Tom Verhoeff wrote:
>
> >It is not a trick, but has to do with type compatibility issues
> >(and history, I guess).
>
> I see. If I understand well, Pascal uses some sort of declaration
> equivalence for types.
Correct. In general, it is costly (or even hard/impossible) for
a compiler to determine equivalence of type _expressions_.
Variables and parameters declared with the same type _name_ are
(obviously) of the same type.
Tom
--
E-MAIL: T.Verhoeff @ TUE.NL | Dept. of Math. & Comp. Science
PHONE: +31 40 247 41 25 | Technische Universiteit Eindhoven
FAX: +31 40 247 54 04 | PO Box 513, NL-5600 MB Eindhoven
http://www.win.tue.nl/~wstomv/ | The Netherlands
_______________________________________________
fpc-pascal maillist - fpc-pascal@lists.freepascal.org
http://lists.freepascal.org/mailman/listinfo/fpc-pascal
