M2compiler-V1/tests/t_enum.mod

MODULE TEnum;
TYPE Color = (red, green, blue);
VAR c : Color; ExitCode : INTEGER;
BEGIN
  c := green;
  CASE c OF
    red : ExitCode := 0
  | green : ExitCode := 1
  | blue : ExitCode := 2
  ELSE ExitCode := 9
  END
END TEnum.