progs/tests/passing_functions.sy


1
2
3
4
5
6
7
8
9

start :: fn {
    g := fn -> int {
        ret 1
    }
    f := fn inner: fn -> int -> int {
        ret inner()
    }
    f(g) <=> 1
}