Compatibility (6.3)

A type T1 is said to be compatible to a type T2 iff one of the following conditions apply:

• T1 is identical to T2.
• T1 is a subrange of T2.
• T2 is a subrange of T1.
• T1 and T2 are subranges of identical types.
• T1 is identical to CHAR or a subrange thereof and T2 is the type of a string constant with length 1 (or vice versa).
• T1 is of type SYSTEM.ADDRESS and T2 of type CARDINAL (or vice versa).
• The constant NIL is compatible to all pointer types.
• There exist a type T3 which is compatible to T1 and to T2.