Test.obn

   1 MODULE Test;
   2
   3 TYPE
   4   R1 = RECORD END;
   5 (*  R2 = RECORD (R1) END; *)
   6   R3 = RECORD END;
   7
   8 VAR
   9 (*
  10   a : R1;
  11   b : R2;
  12 *)
  13   c : R3;
  14
  15 BEGIN
  16 (*  a := b; *)
  17 END Test.