-
Notifications
You must be signed in to change notification settings - Fork 389
/
exn.ml
42 lines (30 loc) · 934 Bytes
/
exn.ml
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
module String = Stdlib.StringLabels
type t = exn
external raise : exn -> _ = "%raise"
external raise_notrace : exn -> _ = "%raise_notrace"
external reraise : exn -> _ = "%reraise"
let protectx x ~f ~finally =
match f x with
| y ->
finally x;
y
| exception e ->
finally x;
raise e
let protect ~f ~finally = protectx () ~f ~finally
let pp_uncaught ~backtrace fmt exn =
let s =
Printf.sprintf "%s\n%s" (Printexc.to_string exn) backtrace
|> String_split.split_lines
|> List.map ~f:(Printf.sprintf "| %s")
|> String.concat ~sep:"\n"
in
let line = String.make 71 '-' in
Format.fprintf fmt
"/%s\n| @{<error>Internal error@}: Uncaught exception.\n%s\n\\%s@." line s
line
let pp exn = Pp.text (Printexc.to_string exn)
let raise_with_backtrace = Printexc.raise_with_backtrace
let equal = ( = )
let hash = Stdlib.Hashtbl.hash
let to_dyn exn = Dyn.String (Printexc.to_string exn)