M2compiler-V3/compiler/tests/t_case.mod

MODULE TCase;
VAR ExitCode, x : INTEGER;
BEGIN
  x := 7;
  CASE x OF
    1, 2 : ExitCode := 100
  | 3..6 : ExitCode := 200
  | 7..9 : ExitCode := 103
  ELSE ExitCode := 300
  END
END TCase.