M2compiler-V3/compiler/tests/t_bad_setconst.mod

MODULE TBadSetConst;
// A SET CONST whose element is not a compile-time constant is rejected:
// its value cannot become static data.
VAR x : INTEGER;
CONST S = {x};
VAR y : SET OF [0..255];
BEGIN y := S END TBadSetConst.