diff options
| author | Basile Starynkevitch <basile.starynkevitch@inria.fr> | 2003-12-04 10:44:35 +0000 |
|---|---|---|
| committer | Basile Starynkevitch <basile.starynkevitch@inria.fr> | 2003-12-04 10:44:35 +0000 |
| commit | 4430a065a60cfba4fbaab4b764f923e4f101b868 (patch) | |
| tree | 750362d3c4bb95bd4a20c06e4e37890dbeb3949d | |
| parent | 62f1c626deb4e96046ab050b12b88b3887d1b75a (diff) | |
added reporting of Env.error-s
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5999 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | debugger/main.ml | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/debugger/main.ml b/debugger/main.ml index 0bb2dda19..441e727b6 100644 --- a/debugger/main.ml +++ b/debugger/main.ml @@ -125,8 +125,14 @@ let main () = toplevel_loop (); (* Toplevel. *) kill_program (); exit 0 - with Toplevel -> - exit 2 + with + Toplevel -> + exit 2 + | Env.error e -> + eprintf "Debugger [version %s] environment error:@[@;" Config.version; + Env.report_error err_formatter e; + eprintf "@]@."; + exit 2 let _ = Printexc.catch (Unix.handle_unix_error main) () |