M2compiler-V3/docs/gaps/gap12_variant_empty_arms.mod

MODULE Gap12VariantEmptyArms;
(* Variant records are standard, but these are extensions: empty variant
   arms and an untagged inner CASE (`CASE : form OF`).  Class: gm2-ext.
   Corpus: varient2, varient3, varient8, tsize, tsize2.
   V3: 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.