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