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

diff --git a/examples/codeGen.spl b/examples/codeGen.spl
index 59e6b3c..e5d938b 100644
--- a/examples/codeGen.spl
+++ b/examples/codeGen.spl
@@ -18,13 +18,13 @@
 //    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;
@@ -36,6 +36,8 @@ main() {
     (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;
 }