M2compiler-V3/docs/gaps/gap16_wide_set.mod

MODULE Gap16WideSet;
(* Implementation limit: Modula-2 allows any ordinal base; V3 caps a set
   at 65536 values.  Class: impl-limit.
   Corpus: settest1.
   V3: not supported yet. *)
TYPE big = SET OF [0..100000];
VAR s : big;
BEGIN END Gap16WideSet.