repositories
/
cc1516.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
ebede23fb7ac9fabfc66b997573cf08522c0d0d6
[cc1516.git]
/
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
}