X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=examples%2FcodeGen.spl;h=77b02a1235fb6a5564b43b30f352c7fb3222c370;hb=c5e89ecf06145895bd8c8bca19e7e0587cfe1082;hp=05773b3540b3f6c727c83f6efb3d92fd7465aac7;hpb=f8726ca2b0b6d1de65e08dc2d68bc6128753c49c;p=cc1516.git

diff --git a/examples/codeGen.spl b/examples/codeGen.spl
index 05773b3..77b02a1 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;
@@ -35,7 +35,10 @@ main() {
     [Int] x1 = 8 : 2 : [];
     (Bool, Int) z = (True, 2);
 	var y = z.fst;
-    var x = (True, 5);
-    x.snd = 8;
+    var x = (True, 5) : (False,0) : [];
+    var sdaf = isE(x1);
+    var z = isEmpty(x1);
+    Char c = read();
+    x.hd.snd = 8;
     return;
 }