M2compiler-V3/docs/gaps/gap04_fwd_const_bound.mod

MODULE Gap04FwdConstBound;
(* GAP gap04-fwd-const-bound: a VAR array bound names a CONST declared
   later.  Corpus: setconst3.
   EXPECT: undeclared identifier (the forward CONST). *)
VAR a : ARRAY [0..n] OF INTEGER;
CONST n = 3;
BEGIN a[0] := 0 END Gap04FwdConstBound.