M2compiler-V1/tests/a_enum.mod

MODULE AEnum;
TYPE Color = (red, green, blue);
VAR c : ARRAY Color OF INTEGER; ExitCode : INTEGER;
BEGIN
  c[red] := 5;
  c[green] := 7;
  c[blue] := 9;
  ExitCode := c[red] + c[green] + c[blue]
END AEnum.