repositories
/
cc1516.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Improved Let syntax and improvements to type system
[cc1516.git]
/
examples
/
codeGen.spl
diff --git
a/examples/codeGen.spl
b/examples/codeGen.spl
index
3c64c1a
..
11a45a0
100644
(file)
--- a/
examples/codeGen.spl
+++ b/
examples/codeGen.spl
@@
-18,6
+18,8
@@
// return x3 + x1;
//}
+Let Int x = 5;
+
isE(x) :: [a] -> Bool {
if (x == []) {
return True;