239_extract_higher_order.mlw 99 Bytes
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1 2 3 4 5 6 7
let f (g: unit -> 'a) : 'a = g ()

let g (_:unit) = ()

let good = f (fun x -> g x)

let bad = f g