M2compiler-V3/compiler/tests/t_setenum.mod

MODULE TSetEnum;
// SET OF <enum>: an enum-based set type and a bare-set literal.  Exit 42.
TYPE colour = (red, green, blue);
VAR s : SET OF colour; ExitCode : INTEGER;
BEGIN
  s := {red, blue};
  IF (red IN s) AND NOT (green IN s) THEN ExitCode := 42 ELSE ExitCode := 1 END
END TSetEnum.