readchar in sem
[cc1516.git] / examples / codeGen.spl
index 05773b3..77b02a1 100644 (file)
 //    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;
 }