M2compiler-V3/docs/gaps/gap06_fwd_setconst.mod

MODULE Gap06FwdSetConst;
(* GAP gap06-fwd-setconst: a set CONST whose elements name a CONST and a
   TYPE declared later.  Corpus: setoverflow.
   EXPECT: undeclared identifier (tab and CharSet). *)
CONST ws = CharSet{tab, ' '};
      tab = 9;
TYPE CharSet = SET OF CHAR;
VAR s : CharSet;
BEGIN s := ws END Gap06FwdSetConst.