infer voor statements

[cc1516.git] / examples / test.spl

diff --git a/examples/test.spl b/examples/test.spl
index bdcb0ed..b33297c 100644 (file)
--- a/examples/test.spl
+++ b/examples/test.spl
@@ -1,10 +1,15 @@
 Bool n = True;
 
-test(x) {
-       return f(x);
+test(x) :: Int -> Int {
+       var y = test(x+1);
+       return y;
 }
+
 f(n) :: Int -> Int{
        var m = n+1;
        return n;
 }
 
+test2(x) {
+       return f(x);
+}