tests/Test18B.obn

   1 MODULE Test18B;
   2
   3 VAR
   4   x : PROCEDURE(VAR i : INTEGER);
   5
   6 PROCEDURE X(a : INTEGER);
   7 END X;
   8
   9 BEGIN
  10   x := X;
  11 END Test18B.
  12
  13 Проверка процедурного типа. Тест должен проваливаться.