tests/Test23B.obn

   1 MODULE Test23B;
   2
   3 TYPE
   4   Stream* = POINTER TO Handle;
   5   Handle = RECORD END;
   6
   7   Writer* = RECORD END;
   8
   9   Printer* = RECORD (Writer) END;
  10
  11 VAR
  12   s : Stream;
  13   o : Writer;
  14   out : Printer;
  15
  16 PROCEDURE SetStream(VAR w : Writer; stream : Stream);
  17 BEGIN
  18 END SetStream;
  19
  20 BEGIN
  21   SetStream(s, s);
  22 END Test23B.
  23
  24 Проверка VAR-параметров-записи. Должно проваливаться.