CheckIf statements

[cc1516.git] / examples / varEx.spl

diff --git a/examples/varEx.spl b/examples/varEx.spl
index fa77063..95c9a13 100644 (file)
--- a/examples/varEx.spl
+++ b/examples/varEx.spl
@@ -29,5 +29,10 @@ var pim = 'a' == 'b';
 var q = facR(3);
 
 facR(n) :: Int -> Int {
+    if (True) {
+        return 3;
+    } else {
+        return 4;
+    }
     return 5;
 }