(* Test: RECORD types, variables & assignments *)

MODULE Main;

FROM Test IMPORT checkI, done;

TYPE
  R1 = RECORD
    a, b: INTEGER;
    c:    CHAR;
    d:    INTEGER;
  END;

  R2 = RECORD
    x: INTEGER;
    y: R1;
    z: BOOLEAN;
  END;

VAR
  m, n: R1;
  p, q: R2;

BEGIN

  m.a := 1;      checkI (m.a, 1);
  m.b := 2;      checkI (m.b, 2);
  m.c := 'c';
  m.d := 4;

  m := n;
  m.b := 7;
  p := q;

  p.y := m;

  p.z := BOOLEAN.TRUE;
  p.z := BOOLEAN.FALSE;
  p.z := TRUE;
  p.z := FALSE;
  p.y.c := 'd';
  p.x := 4;

  checkI (p.y.b, 7);

  done ();
END Main.