progs/tests/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
}