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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
(* TEST_BELOW
(* Blank lines added here to preserve locations. *)
*)
(* A test for stack backtraces *)
exception Error of string
let rec f msg n =
if n = 0 then raise(Error msg) else 1 + f msg (n-1)
let g msg =
match
f msg 5
with
| _ ->
(* value return does not happen *)
assert false
| exception (Error "a") ->
print_string "a"; print_newline(); 0
| exception (Error "b" as exn) ->
(* this should Re-raise, appending to the current backtrace *)
print_string "b"; print_newline(); raise exn
| exception (Error "c") ->
(* according to the current re-raise policy (a static condition),
this does not re-raise *)
print_string "c"; print_newline(); raise (Error "c")
| exception (Error "d" as exn as _exn2) ->
(* this should Re-raise, appending to the current backtrace *)
print_string "d"; print_newline(); raise exn
| exception (Error "e" as _exn as exn2) ->
(* this should Re-raise, appending to the current backtrace *)
print_string "e"; print_newline(); raise exn2
| exception (exn as exn2) ->
match exn with
| Error "f" ->
(* this should Re-raise, appending to the current backtrace *)
print_string "f"; print_newline(); raise exn
| Error "g" ->
(* this should Re-raise, appending to the current backtrace *)
print_string "g"; print_newline(); raise exn2
| x ->
(* this should *not* Re-raise *)
raise x
let run args =
try
ignore (g args.(0)); print_string "No exception\n"
with exn ->
Printf.printf "Uncaught exception %s\n" (Printexc.to_string exn);
Printexc.print_backtrace stdout
let _ =
run [| "a" |];
run [| "b" |];
run [| "c" |];
run [| "d" |];
run [| "e" |];
run [| "f" |];
run [| "g" |];
run [| "h" |];
run [| |]
(* TEST
flags = "-g";
ocamlrunparam += ",b=1";
*)
|
