M2compiler-V3/docs/gaps/gap19_fwd_array_index.mod

MODULE Gap19FwdArrayIndex;
(* NOT legal Modula-2: an array's index type is declared later in the
   same TYPE block.  Declaration before use is required; V3 correctly
   rejects it.  Class: decl-order (gm2 leniency).
   Corpus: record7, complextypes.
   V3: not supported yet. *)
TYPE a = ARRAY idx OF INTEGER;
     idx = [-2..2];
VAR x : a;
BEGIN x[0] := 1 END Gap19FwdArrayIndex.