progs/tests/auto/passing_functions_mixed.sy


1
2
3
4
5
6
7
8
9

start :: fn {
g := fn a: int -> int {
                                    ret a * 2
                                  }
                                  f := fn inner: fn int -> int, a: int -> int {
                                    ret inner(a)
                                  }
                                  f(g, 2) <=> 4
}