summaryrefslogtreecommitdiff
path: root/tests/typing/partial-call.ml
blob: aca51214161dd9fba9a320b53bd5bd7387db686f (plain)
1
2
3
4
5
6
7
8
9
(*
    return : 0
    output :
f : ('a -> 'b -> 'c) -> 'a -> 'b -> 'c
*)
let f g a b =
    let h = g a
    in
        h b