summaryrefslogtreecommitdiff
path: root/testsuite/tests/backtrace/pr6920_why_swallow.ml
blob: def1d48542610b12afaefb744f22b8d9337692aa (plain)
1
2
3
4
5
6
7
8
9
10
11
let why : unit -> unit = fun () -> raise Exit [@@inline never]
let f () =
  for i = 1 to 10 do
    why @@ ();
  done;
  ignore (3 + 2);
  () [@@inline never]

let () =
  Printexc.record_backtrace true;
  f ()