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
|
(* TEST
frame_pointers;
readonly_files = "fp_backtrace.c";
all_modules = "${readonly_files} exceptions.ml";
native;
*)
external fp_backtrace : string -> unit = "fp_backtrace" [@@noalloc]
exception FortyTwo
(* We want to ensure backtraces from raiser, handler and catcher are correct.
*)
let [@inline never] handler i =
Printf.printf "# handler %d\n%!" i;
fp_backtrace Sys.argv.(0);
i + 1
let [@inline never] raiser i =
Printf.printf "# raiser %d\n%!" i;
fp_backtrace Sys.argv.(0);
match i with
| 42 -> raise FortyTwo
| _ -> i
let [@inline never] catcher i =
Printf.printf "# catcher %d\n%!" i;
fp_backtrace Sys.argv.(0);
try raiser i with
| FortyTwo -> ignore (handler i);
i
let () =
ignore (catcher 42)
|
