MODULE Test;
+TYPE
+ A = POINTER TO RECORD B : B; END;
+
+ B = POINTER TO RECORD x : A END;
+
VAR
- i : INTEGER;
- s : SET;
+ a : A;
+PROCEDURE Do;
+ TYPE
+ ListPtr = POINTER TO ListNode;
+ ListNode = RECORD next: ListPtr END;
BEGIN
- INC(i);
- ASSERT(i = 1);
- DEC(i);
- ASSERT(i = 0);
+END Do;
- INCL(s, 3);
- ASSERT(3 IN s);
- EXCL(s, 3);
- ASSERT(~(3 IN s));
+BEGIN
+ NEW(a);
+ a.B := NIL;
END Test.
-
-Проверка встроенных процедур.