diff options
Diffstat (limited to 'driver/errors.ml')
| -rw-r--r-- | driver/errors.ml | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/driver/errors.ml b/driver/errors.ml deleted file mode 100644 index 438418125b..0000000000 --- a/driver/errors.ml +++ /dev/null @@ -1,42 +0,0 @@ -(* Error report *) - -open Format -open Location - -(* Report an error *) - -let report_error exn = - open_hovbox 0; - begin match exn with - Lexer.Error(err, start, stop) -> - Location.print {loc_start = start; loc_end = stop}; - Lexer.report_error err - | Parse.Error(start, stop) -> - Location.print {loc_start = start; loc_end = stop}; - print_string "Syntax error" - | Env.Error err -> - Env.report_error err - | Typecore.Error(loc, err) -> - Location.print loc; Typecore.report_error err - | Typetexp.Error(loc, err) -> - Location.print loc; Typetexp.report_error err - | Typedecl.Error(loc, err) -> - Location.print loc; Typedecl.report_error err - | Includemod.Error err -> - Includemod.report_error err - | Typemod.Error(loc, err) -> - Location.print loc; Typemod.report_error err - | Translcore.Error(loc, err) -> - Location.print loc; Translcore.report_error err - | Symtable.Error code -> - Symtable.report_error code - | Linker.Error code -> - Linker.report_error code - | Librarian.Error code -> - Librarian.report_error code - | Sys_error msg -> - print_string "I/O error: "; print_string msg - | x -> - close_box(); raise x - end; - close_box(); print_newline() |