MODULE Gap06FwdSetConst; (* NOT legal Modula-2: a set CONST names `tab` (later CONST) and `CharSet` (later TYPE). Declaration before use is required; V3 correctly rejects it. Class: decl-order (gm2 leniency). Corpus: setoverflow. V3: undeclared identifier. *) CONST ws = CharSet{tab, ' '}; tab = 9; TYPE CharSet = SET OF CHAR; VAR s : CharSet; BEGIN s := ws END Gap06FwdSetConst.