M2compiler-V3/compiler/tests/t_bad_bigconst.mod

MODULE TBadBigConst;
(* Dynamic range-list sets have no static CONST layout yet. *)
TYPE CS = SET OF CARDINAL;
CONST c = CS{1, 3};
BEGIN
END TBadBigConst.