diff options
| author | David Allsopp <david.allsopp@metastack.com> | 2019-10-19 10:38:48 +0100 |
|---|---|---|
| committer | David Allsopp <david.allsopp@metastack.com> | 2019-10-19 10:38:48 +0100 |
| commit | 37acb3bf24626e5989cb8a21c90ed9177d768cc9 (patch) | |
| tree | eb12d1fc6baa2cdfdc8dfe77dddb24a2eba839ae | |
| parent | e2f278c7a4b43ef8e8f171f5a1ddd972312ac8ca (diff) | |
| download | ocaml-37acb3bf24626e5989cb8a21c90ed9177d768cc9.tar.gz | |
Remove use of Printexc.catch from debugger
Allow the runtime to display details of any uncaught exception (with
backtraces, if enabled). Unix.handle_unix_error is still used to convert
errors from system calls to a less unmeaningful form.
| -rw-r--r-- | debugger/main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debugger/main.ml b/debugger/main.ml index b37ce86b39..53959a7693 100644 --- a/debugger/main.ml +++ b/debugger/main.ml @@ -245,4 +245,4 @@ let main () = exit 2 let _ = - Printexc.catch (Unix.handle_unix_error main) () + Unix.handle_unix_error main () |