X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=examples%2Ftest.spl;h=b33297c27ab6cf667195cf836cc9a579e58bafcc;hb=a8348a333a567e5a469d1e5f8ec6c3dafc051c91;hp=bdcb0edb0b1566a6bf9bb78aeff8d8dc069a5951;hpb=72fb877d00efbba5cc4540ee2e76fbb01c6f572d;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); +}