print specialised
[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 test() {
30 var x =print(5);
31 print(True);
32 print('a');
33 print('h' : 'o' : 'i' : []);
34 }
35
36 main() {
37 // [Int] x2 = 0 : x1;
38 // [Int] x3 = [];
39 // (Int, Bool) x4 = (4, True);
40 // //Bool y1 = isEmpty(x2); //gives weird type error, not sure why
41 // isEmpty(x2);
42 [Int] x1 = 8 : 2 : [];
43 (Bool, Int) z = (True, 2);
44 var y = z.fst;
45 var x = (True, 5) : (False,0) : [];
46 var sdaf = isE(x1);
47 var z = isEmpty(x1);
48 //char c = read();
49 x.hd.snd = 8;
50 isE(x1);
51 print(4);
52 return;
53 }