repositories
/
cc1516.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
ding
[cc1516.git]
/
examples
/
codeGen.spl
diff --git
a/examples/codeGen.spl
b/examples/codeGen.spl
index
59e6b3c
..
e5d938b
100644
(file)
--- a/
examples/codeGen.spl
+++ b/
examples/codeGen.spl
@@
-18,13
+18,13
@@
// return x3 + x1;
//}
// return x3 + x1;
//}
-
//
isE(x) :: [a] -> Bool {
-
//
if (x == []) {
-
//
return True;
-
//
} else {
-
//
return False;
-
//
}
-
//
}
+isE(x) :: [a] -> Bool {
+ if (x == []) {
+ return True;
+ } else {
+ return False;
+ }
+}
main() {
// [Int] x2 = 0 : x1;
main() {
// [Int] x2 = 0 : x1;
@@
-36,6
+36,8
@@
main() {
(Bool, Int) z = (True, 2);
var y = z.fst;
var x = (True, 5) : (False,0) : [];
(Bool, Int) z = (True, 2);
var y = z.fst;
var x = (True, 5) : (False,0) : [];
+ var sdaf = isE(x1);
+ var z = isEmpty(x1);
x.hd.snd = 8;
return;
}
x.hd.snd = 8;
return;
}