Added some expression typechecking

[cc1516.git] / examples / varEx.spl

diff --git a/examples/varEx.spl b/examples/varEx.spl
index f987631..f3fa5fa 100644 (file)
--- a/examples/varEx.spl
+++ b/examples/varEx.spl
@@ -4,7 +4,16 @@ var c = 2 + 2;
 
 var d = True;
 var e = 4;
-Int f = 4 + True;
+//Int f = 4 + True;
+
+var g = True == True;
+var h = 1 != 3;
+//var i = True == 1;
+
+var j = 1 < 3;
+//var k = True < 3;
+
+var l = 1:2:[];
 
 facR(n) :: Int -> Int {
     return 5;