testsuite/tests/weak-ephe-final/pr12001.ml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

(* TEST *)

let [@inline never] foo () =
  let s = "Hello" ^ " world!" in
  Gc.finalise_last (fun () -> print_endline "finalised") s;
  Gc.minor ();
  s

let [@inline never] bar () =
  let s = foo () in
  print_endline s

let _ =
  bar ();
  Gc.full_major ()