summaryrefslogtreecommitdiff
path: root/tests/source/testc.scade
blob: 40a04d3d199426ceae0e8aa92a28f29d3c2e274b (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
const x : int = 12;
const y : int = z + 3;
const z : int = x * 2;

function test(i: int) returns (a, b, c: int; exit: bool)
let
  exit = i >= 0;
  a = x;
  b = y;
  c = z;
tel