Added function type inference
[cc1516.git] / examples / StmtEx.spl
1 var x = True;
2 var y = 3;
3 var z = 3 + y;
4 Int a = facR(4);
5 //Int b = test(3);
6 var f = beep();
7
8 facR(n) :: Int -> Int {
9 test(3);
10 if (True) {
11 return 3;
12 } else {
13 return 4;
14 }
15 return 5;
16 }
17
18 test(n) :: Int -> Int {
19 var i = 0;
20 facR(2);
21 while (z < 3) {
22 return 3;
23 }
24 }
25
26 beep() {
27 boop();
28 }
29
30 boop() {
31 beep();
32 }