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