progs/tests/auto/calls_inside_calls.sy


1
2
3
4
5
6
7
8
9
10
11

start :: fn {
one := fn -> int {
                               ret 1
                             }
                             add := fn a: int, b: int -> int {
                               ret a + b
                             }
                             add(one(), one()) <=> 2
                             add(add(one(), one()), one()) <=> 3
                             add(one(), add(one(), one())) <=> 3
}