Next: Remarks
Up: Type IdentityCompatibility, and
Previous: Compatibility (6.3)
A type T1 is said to be assignment compatible to a type
T2 iff one of the following conditions holds:
- T1 and T2 are compatible to each other.
- T1 and T2 are identical to CARDINAL,
INTEGER, LONGCARD, LONGINT, or subranges thereof.
- T1 and T2 are identical to REAL or
LONGREAL.
- T1 is of type SYSTEM.ADDRESS and
T2 a pointer type (or vice versa).
Andreas Borchert
Mon Jun 3 16:17:20 MET DST 1996