M2compiler-V1/tests/a_mat.mod

MODULE AMat;
VAR a, b, c : ARRAY [1 .. 2], [1 .. 2] OF INTEGER; ExitCode : INTEGER;
BEGIN
  a[1,1] := 1; a[1,2] := 2; a[2,1] := 3; a[2,2] := 4;
  b[1,1] := 5; b[1,2] := 6; b[2,1] := 7; b[2,2] := 8;
  c[1,1] := a[1,1]*b[1,1] + a[1,2]*b[2,1];
  c[1,2] := a[1,1]*b[1,2] + a[1,2]*b[2,2];
  c[2,1] := a[2,1]*b[1,1] + a[2,2]*b[2,1];
  c[2,2] := a[2,1]*b[1,2] + a[2,2]*b[2,2];
  ExitCode := c[1,1] + c[1,2] + c[2,1] + c[2,2]
END AMat.