M2compiler-V1/tests/r_bad_asn.mod

MODULE RBadAsn;
TYPE R = RECORD x : INTEGER END;
VAR r : R; i : INTEGER;
BEGIN
  i := 1;
  r := i
END RBadAsn.