M2compiler-V1/tests/t_case.mod

MODULE TCase;
VAR x : INTEGER; ExitCode : INTEGER;
BEGIN
  x := 7;
  CASE x OF
    1, 2 : ExitCode := 1
  | 3 .. 6 : ExitCode := 2
  | 7 .. 10 : ExitCode := 3
  ELSE ExitCode := 9
  END;
  CASE x + 1 OF
    8 : ExitCode := ExitCode + 100
  ELSE ExitCode := 0
  END
END TCase.