M2compiler-V1/tests/t_bad_mtype.mod

MODULE TBadMType;
MODULE M EXPORT cnt;
VAR cnt : INTEGER;
END M;
VAR x : M.cnt;
VAR ExitCode : INTEGER;
BEGIN
  ExitCode := 0
END TBadMType.