X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=examples%2FcodeGen.spl;h=e5d938b915e10c70d60c7480b43daa9b73f07519;hb=39f7799760a30737f57fb2b8ccdb15074ee9ac45;hp=34474a753c1d9a949b84c1ec593db01550325449;hpb=5dd2ffe89b478a4cb1cd060b1196aa3d326dbd77;p=cc1516.git

diff --git a/examples/codeGen.spl b/examples/codeGen.spl
index 34474a7..e5d938b 100644
--- a/examples/codeGen.spl
+++ b/examples/codeGen.spl
@@ -1,18 +1,43 @@
-f(x, y) {
-    var ret = 0;
-    if (x < y) {
-	   ret = x;
-    }
-    else {
-        ret = y;
+//f(x, y) {
+//    var ret = 0;
+//    if (x < y) {
+//	   ret = x;
+//    }
+//    else {
+//        ret = y;
+//    }
+//    return ret;
+//}//
+
+//main() {
+//	Int x1 = 1;
+//    var x2 = 4;
+//    var x3 = f(x1, x2);
+//    print(x1);
+//    x1 = 5;
+//    return x3 + x1;
+//}
+
+isE(x) :: [a] -> Bool {
+    if (x == []) {
+        return True;
+    } else {
+        return False;
     }
-    return ret;
 }
 
 main() {
-	Int x1 = 1;
-    var x2 = 4;
-    var x3 = f(x1, x2);
-    x1 = 5;
-    return x3 + x1;
+ //   [Int] x2 = 0 : x1;
+ //   [Int] x3 = [];
+ //   (Int, Bool) x4 = (4, True);
+ //   //Bool y1 = isEmpty(x2); //gives weird type error, not sure why
+//    isEmpty(x2);
+    [Int] x1 = 8 : 2 : [];
+    (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;
 }