progs/tests/auto/precedence.sy


1
2
3
4
5
6
7
8

start :: fn {
f := fn a: int, b: int -> int {
                       ret a + b
                     }
                     1 + f(2, 3) <=> 6
                     2 * f(2, 3) <=> 10
                     f(2, 3) - (2 + 3) <=> 0
}