1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
|
(* TEST *)
(* closed, inlined *)
let[@inline always] f () () = print_endline "4"
let () = (let () = print_string "3" in f) (print_string "2") (print_string "1")
(* closed, not inlined *)
let[@inline never] f () () = print_endline "4"
let () = (let () = print_string "3" in f) (print_string "2") (print_string "1")
(* closure, inlined *)
let[@inline never] g x =
(let () = print_string "3" in fun () () -> print_endline x)
(print_string "2") (print_string "1")
let () = g "4"
(* closure, not inlined *)
let[@inline never] g x =
(let () = print_string "3" in
let[@inline never] f () () = print_endline x in f)
(print_string "2") (print_string "1")
let () = g "4"
|