M2compiler-V3/compiler/tests/t_variantext.mod

MODULE TVariantExt;
(* gm2 ext: variant arms may be empty, and an inner CASE may be
   untagged (`CASE : T OF`). *)
TYPE
  form = (sets, bigsets);
  r = RECORD
        CASE f : form OF
        | sets, bigsets : base : CARDINAL;
                          CASE : form OF
                          | bigsets : off : CARDINAL;
                          | sets :
                          END;
        END
      END;
VAR ExitCode : INTEGER;
    v : r;
BEGIN
  v.f := sets;
  v.base := 7;
  IF v.base = 7 THEN ExitCode := 42 ELSE ExitCode := 1 END
END TVariantExt.