M2compiler-V2/tests/t_bad_case.mod

MODULE TBadCase;
VAR ExitCode : INTEGER;
    r : RECORD x : INTEGER END;
BEGIN
  r.x := 1;
  CASE r OF
    1: r.x := 2
  ELSE r.x := 3
  END;
  ExitCode := r.x
END TBadCase.