Added function type inference

[cc1516.git] / examples / StmtEx.spl

diff --git a/examples/StmtEx.spl b/examples/StmtEx.spl
index 1e1d4fe..35ff096 100644 (file)
--- a/examples/StmtEx.spl
+++ b/examples/StmtEx.spl
@@ -3,6 +3,7 @@ var y = 3;
 var z = 3 + y;
 Int a = facR(4);
 //Int b = test(3);
+var f = beep();
 
 facR(n) :: Int -> Int {
     test(3);
@@ -20,4 +21,12 @@ test(n) :: Int -> Int {
     while (z < 3) {
         return 3;
     }
+}
+
+beep() {
+    boop();
+}
+
+boop() {
+    beep();
 }
\ No newline at end of file