DEADSOFTWARE

Проверка ораны типа теперь как описано в стандарте
[dsw-obn.git] / Test5.obn
1 MODULE Test5;
3 TYPE
4 R1 = RECORD END;
5 R2 = RECORD (R1) END;
6 R3 = RECORD END;
8 P1 = POINTER TO R1;
9 P2 = POINTER TO R2;
11 VAR
12 a : R1;
13 b : R2;
14 c : R3;
15 p1 : P1;
16 p2 : P2;
18 BEGIN
19 a := b;
20 p2 := p1(P2);
21 p1 := p2(P2);
22 END Test5.