M2compiler-V3/compiler/tests/t_bad_field.mod

MODULE TBadField;
TYPE Point = RECORD x, y : INTEGER END;
VAR p : Point;
VAR ExitCode : INTEGER;
BEGIN
  p.z := 1
END TBadField.