repositories
/
cc1516.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Typechecking of fieldselectors
[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] x2 = 0 : x1;
31
// [Int] x3 = [];
32
// (Int, Bool) x4 = (4, True);
33
// //Bool y1 = isEmpty(x2); //gives weird type error, not sure why
34
// isEmpty(x2);
35
[Int] x1 = 8 : 2 : [];
36
(Bool, Int) z = (True, 2);
37
var y = z.fst;
38
var x = (True, 5);
39
x.snd = 8;
40
return;
41
}