From c0c69b44db82142cc693937b6342299071f4a41e Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Fri, 6 Apr 2018 22:27:47 +0800 Subject: [PATCH] Update configurator to use Exn.raise_with_backtrace --- src/configurator/configurator.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/configurator/configurator.ml b/src/configurator/configurator.ml index 3eefb311..1a159b40 100644 --- a/src/configurator/configurator.ml +++ b/src/configurator/configurator.ml @@ -447,9 +447,10 @@ let main ?(args=[]) ~name f = try f t with exn -> + let bt = Printexc.get_raw_backtrace () in List.iter (List.rev !log_db) ~f:(eprintf "%s\n"); match exn with | Fatal_error msg -> eprintf "Error: %s\n%!" msg; exit 1 - | _ -> Exn.reraise exn + | _ -> Exn.raise_with_backtrace exn bt