testsuite/runnable/inferred_variable.elna


1
2
3
4
5
6
7
8
9
10
11
12
13

program()
var
  x := 42
  c: const := 10
  y := c
  arr := [c, 2]

begin
  x := x + 1;
  y := y + 5;
  arr[1] := 99;
  assert(x = 43 & c = 10 & y = 15 & arr[1] = 99 & arr[2] = 2)
end.