Kompatibilität

Ein Typ T1 ist kompatibel zu einem Typ T2 genau dann, wenn mindestens eine der folgenden Bedingungen gilt:

T1 ist identisch zu T2.

T1 ist ein Unterbereich von T2.

T1 und T2 sind Unterbereiche identischer Typen.

T1 ist identisch zu CHAR oder einem Unterbereich davon und T2 ist der Typ einer Zeichenkettenkonstanten der Länge eins.

T1 ist identisch zu SYSTEM.ADDRESS und T2 identisch zu CARDINAL.

T1 ist der Typ der Konstanten NIL und T2 ein beliebiger Zeigertyp.

T2 ist kompatibel zu T1.

Es existiert ein Typ T3, der zu T1 und T2 kompatibel ist.

	T1 ist identisch zu T2.
	T1 ist ein Unterbereich von T2.
	T1 und T2 sind Unterbereiche identischer Typen.
	T1 ist identisch zu CHAR oder einem Unterbereich davon und T2 ist der Typ einer Zeichenkettenkonstanten der Länge eins.
	T1 ist identisch zu SYSTEM.ADDRESS und T2 identisch zu CARDINAL.
	T1 ist der Typ der Konstanten NIL und T2 ein beliebiger Zeigertyp.
	T2 ist kompatibel zu T1.
	Es existiert ein Typ T3, der zu T1 und T2 kompatibel ist.