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