Added some expression typechecking

[cc1516.git] / examples / varEx.spl

diff --git a/examples/varEx.spl b/examples/varEx.spl
index 2336e05..f3fa5fa 100644 (file)
--- a/examples/varEx.spl
+++ b/examples/varEx.spl
@@ -6,6 +6,15 @@ var d = True;
 var e = 4;
 //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;
 }
\ No newline at end of file