(* TEST_BELOW
(* Blank lines added here to preserve locations. *)








*)

(* Testing if uncaught exception handlers are behaving properly  *)

let () = Printexc.record_backtrace true

exception UncaughtHandlerExn
exception CallbackExn

let handler final_exn exn =
  let id = Thread.self () |> Thread.id in
  let msg = Printexc.to_string exn in
  Printf.eprintf "[thread %d] caught %s\n" id msg;
  Printexc.print_backtrace stderr;
  flush stderr;
  raise final_exn

let fn () = Printexc.raise_with_backtrace
              CallbackExn
              (Printexc.get_raw_backtrace ())

let _ =
  let th = Thread.create fn () in
  Thread.join th;
  Thread.set_uncaught_exception_handler (handler UncaughtHandlerExn);
  let th = Thread.create fn () in
  Thread.join th;
  Thread.set_uncaught_exception_handler (handler Thread.Exit);
  let th = Thread.create fn () in
  Thread.join th

(* TEST
 flags = "-g";
 ocamlrunparam += ",b=1";
 include systhreads;
 hassysthreads;
 {
   bytecode;
 }{
   native;
 }
*)