Added some expression typechecking

[cc1516.git] / examples / varEx.spl

diff --git a/examples/varEx.spl b/examples/varEx.spl
index c400caf..f3fa5fa 100644 (file)
--- a/examples/varEx.spl
+++ b/examples/varEx.spl
@@ -1,10 +1,20 @@
+Int a = 1 + 1;
+var b = True;
+var c = 2 + 2;
 
+var d = True;
+var e = 4;
+//Int f = 4 + True;
 
-Int t = 1 + 1;
-var t = True;
-var x = 2 + 2;
+var g = True == True;
+var h = 1 != 3;
+//var i = True == 1;
 
-var x = True;
-var z = 4;
-//Int y = 4 + True;
+var j = 1 < 3;
+//var k = True < 3;
 
+var l = 1:2:[];
+
+facR(n) :: Int -> Int {
+    return 5;
+}
\ No newline at end of file