M2compiler-V3/docs/gaps/gap12_variant_empty_arms.mod

MODULE Gap12VariantEmptyArms;
(* GAP gap12-variant-empty-arms: a variant part with empty arms and an
   untagged inner CASE.  Corpus: varient2, varient3, tsize, tsize2.
   EXPECT: invalid VarLabel. *)
TYPE form = (sets, bigsets);
     r = RECORD
           CASE f : form OF
           | sets, bigsets : base : CARDINAL;
                             CASE : form OF
                             | bigsets : off : CARDINAL;
                             | sets :
                             END;
           END
         END;
BEGIN END Gap12VariantEmptyArms.