blob: 06cf8f60f0e3e12f232ebdeba063d06dd894a141 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
(* TEST
flags = "-g"
ocamlrunparam += ",b=1"
* hassysthreads
include systhreads
** bytecode
** native
*)
(* 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
|