M2compiler-V1/tests/r_bad_rec.mod

MODULE RBadRec;
VAR x : INTEGER;
BEGIN
  x := 1;
  x.y := 2
END RBadRec.