Test.obn

   1 MODULE Test;
   2
   3 TYPE
   4   PRec = POINTER TO Rec;
   5   Rec = RECORD END;
   6
   7 VAR
   8   d : PRec;
   9
  10 PROCEDURE X (z : INTEGER; a : SET; b : ARRAY OF CHAR) : PRec;
  11 BEGIN
  12   RETURN NIL;
  13 END X;
  14
  15 BEGIN
  16   d := X(1, {}, "xyz");
  17 END Test.