M2compiler-V1/tests/a_varpar.mod

MODULE AVarPar;
TYPE Vec = ARRAY [1 .. 5] OF INTEGER;
VAR v : Vec; ExitCode : INTEGER;
PROCEDURE Fill(VAR a : Vec);
VAR i : INTEGER;
BEGIN
  FOR i := 1 TO 5 DO a[i] := i * 10 END
END Fill;
PROCEDURE Total(VAR a : Vec) : INTEGER;
VAR i, s : INTEGER;
BEGIN
  s := 0;
  FOR i := 1 TO 5 DO s := s + a[i] END;
  RETURN s
END Total;
BEGIN
  Fill(v);
  ExitCode := Total(v)
END AVarPar.