ding
[cc1516.git] / examples / codeGen.spl
index 4062fb6..e5d938b 100644 (file)
@@ -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;
 }