Added default functions, isEmpty does not typecheck...
[cc1516.git] / examples / codeGen.spl
1 //f(x, y) {
2 // var ret = 0;
3 // if (x < y) {
4 // ret = x;
5 // }
6 // else {
7 // ret = y;
8 // }
9 // return ret;
10 //}//
11
12 //main() {
13 // Int x1 = 1;
14 // var x2 = 4;
15 // var x3 = f(x1, x2);
16 // print(x1);
17 // x1 = 5;
18 // return x3 + x1;
19 //}
20
21 isE(x) :: [a] -> Bool {
22 if (x == []) {
23 return True;
24 } else {
25 return False;
26 }
27 }
28
29 main() {
30 [Int] x1 = 1 : 2 : [];
31 [Int] x2 = 0 : x1;
32 [Int] x3 = [];
33 //Bool y1 = isEmpty(x2); //gives weird type error, not sure why
34 isEmpty(x2);
35 return;
36 }