M2compiler-V1/tests/v_rec.mod

MODULE VRec;
TYPE Inner = RECORD u, v : INTEGER END;
TYPE Outer = RECORD a : INTEGER; b : Inner END;
VAR r : Outer; ExitCode : INTEGER;
PROCEDURE SetZ(VAR q : Inner);
BEGIN
  q.u := 7;
  q.v := 8
END SetZ;
BEGIN
  r.a := 1;
  SetZ(r.b);
  ExitCode := r.a + r.b.u + r.b.v
END VRec.