Source file `exn_with_backtrace.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

type t = {
  exn : exn;
  backtrace : Printexc.raw_backtrace;
}

let capture exn =
  { exn; backtrace = Printexc.get_raw_backtrace () }

let try_with f =
  match f () with
  | r -> Result.Ok r
  | exception exn ->
    Error (capture exn)

let reraise { exn; backtrace } =
  Exn.raise_with_backtrace exn backtrace

let pp_uncaught fmt { exn; backtrace } =
  Exn.pp_uncaught ~backtrace:(Printexc.raw_backtrace_to_string backtrace) fmt exn

let map { exn; backtrace } ~f =
  { exn = f exn; backtrace }

let map_and_reraise t ~f = reraise (map ~f t)

let to_sexp { exn; backtrace } =
  Sexp.List [
    Atom (Printexc.to_string exn);
    Atom (Printexc.raw_backtrace_to_string backtrace)
  ]