X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=examples%2Ftest.spl;h=b33297c27ab6cf667195cf836cc9a579e58bafcc;hb=1f01e39fb2383aa2c63234d0750c0459fe3de752;hp=bdcb0edb0b1566a6bf9bb78aeff8d8dc069a5951;hpb=8259ed46f53f70bc732ce8756ddf2b6f000df6a4;p=cc1516.git

diff --git a/examples/test.spl b/examples/test.spl
index bdcb0ed..b33297c 100644
--- 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);
+}