ding

[cc1516.git] / examples / codeGen.spl

diff --git a/examples/codeGen.spl b/examples/codeGen.spl
index ebede23..e5d938b 100644 (file)
--- a/examples/codeGen.spl
+++ b/examples/codeGen.spl
@@ -27,10 +27,17 @@ isE(x) :: [a] -> Bool {
 }
 
 main() {
-    [Int] x1 = 1 : 2 : [];
-    [Int] x2 = 0 : x1;
-    [Int] x3 = [];
-    //Bool y1 = isEmpty(x2); //gives weird type error, not sure why
-    isEmpty(x2);
+ //   [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;
 }