tests/Test24.obn

   1 MODULE Test24;
   2
   3 IMPORT Out;
   4
   5 PROCEDURE W;
   6   PROCEDURE Z;
   7     PROCEDURE Y;
   8       PROCEDURE X;
   9       BEGIN (* X *)
  10         X; Y; Z; W;
  11       END X;
  12     BEGIN (* Y *)
  13       X; Y; Z; W;
  14     END Y;
  15   BEGIN (* Z *)
  16     Y; Z; W;
  17   END Z;
  18 BEGIN (* W *)
  19   Z; W;
  20 END W;
  21
  22 END Test24.
  23
  24 Проверка вложенных процедур.
  25 Должно как компилироваться, так и проходить верификацию в рантайме.