Test.obn

   1 MODULE Test;
   2
   3 TYPE
   4   Elem = POINTER TO ElemDesc;
   5   ElemDesc = RECORD END;
   6
   7   ElemMsg = RECORD END;
   8   CopyMsg = RECORD (ElemMsg) a : Elem; END;
   9
  10   Alien = POINTER TO RECORD (ElemDesc) END;
  11
  12 PROCEDURE HandleAlien (VAR msg: ElemMsg);
  13 BEGIN
  14   WITH msg: CopyMsg DO msg.a := NIL END
  15 END HandleAlien;
  16
  17 END Test.