X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=examples%2FcodeGen.spl;h=ebede23fb7ac9fabfc66b997573cf08522c0d0d6;hb=f081c2c5e248331eb6e2f090f4afe818fd8259eb;hp=53ed358d6dfc2bd12f11c9890e1c4e2c32cb8285;hpb=a961d52fe0e9269af7d5581e07155f6701c09dbc;p=cc1516.git

diff --git a/examples/codeGen.spl b/examples/codeGen.spl
index 53ed358..ebede23 100644
--- a/examples/codeGen.spl
+++ b/examples/codeGen.spl
@@ -1,8 +1,36 @@
+//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;
+    }
+}
+
 main() {
-    Int x1 = 3;
-    Char x2 = '\n';
-    Bool x3 = True;
-    (Int, Char) x4 = (4, '\n');
-    [Bool] x5 = True : False : True : True : []; 
-    return x5;
+    [Int] x1 = 1 : 2 : [];
+    [Int] x2 = 0 : x1;
+    [Int] x3 = [];
+    //Bool y1 = isEmpty(x2); //gives weird type error, not sure why
+    isEmpty(x2);
+    return;
 }