Listing:

    1  MODULE TMArr;
    2  MODULE M EXPORT Vec;
    3  TYPE Vec = ARRAY [1 .. 3] OF INTEGER;
    4  END M;
    5  VAR v, w : M.Vec; ExitCode : INTEGER;
    6  PROCEDURE Fill(VAR a : M.Vec);
    7  BEGIN
    8    a[1] := 5; a[2] := 6; a[3] := 7
    9  END Fill;
   10  BEGIN
   11    Fill(v);
   12    w := v;
   13    ExitCode := w[1] + w[2] + w[3]
   14  END TMArr.

    0 errors