examples/test.spl

   1 Bool n = True;
   2
   3 test(x) :: Int -> Int {
   4         var y = test(x+1);
   5         return y;
   6 }
   7
   8 f(n) :: Int -> Int{
   9         var m = n+1;
  10         return n;
  11 }
  12
  13 test2(x) {
  14         return f(x);
  15 }