M2compiler-V1/tests/a_bad_idx.mod

MODULE ABadIdx;
VAR a : ARRAY [1 .. 5] OF INTEGER; x : INTEGER;
BEGIN
  x := 1;
  a[3.14] := 5
END ABadIdx.