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