M2compiler-V3/compiler/tests/t_setcase.mod

MODULE TSetCase;
(* gm2 ext: a set-typed CASE selector with set labels (word-wise
   equality compare-chain). *)
VAR b : BITSET; ExitCode : INTEGER;
BEGIN
  b := {1, 2};
  CASE b OF
    {}    : ExitCode := 1
  | {1,2} : ExitCode := 42
  | {3}   : ExitCode := 3
  ELSE ExitCode := 9
  END
END TSetCase.