diff options
Diffstat (limited to 'ocaml-binary-annot/driver/errors.ml')
| -rw-r--r-- | ocaml-binary-annot/driver/errors.ml | 81 |
1 files changed, 81 insertions, 0 deletions
diff --git a/ocaml-binary-annot/driver/errors.ml b/ocaml-binary-annot/driver/errors.ml new file mode 100644 index 0000000000..22dd1fc6a0 --- /dev/null +++ b/ocaml-binary-annot/driver/errors.ml @@ -0,0 +1,81 @@ +(***********************************************************************) +(* *) +(* Objective Caml *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) +(* *) +(***********************************************************************) + +(* $Id$ *) + +(* WARNING: if you change something in this file, you must look at + opterrors.ml and ocamldoc/odoc_analyse.ml + to see if you need to make the same changes there. +*) + +open Format + +(* Report an error *) + +let report_error ppf exn = + let report ppf = function + | Lexer.Error(err, loc) -> + Location.print_error ppf loc; + Lexer.report_error ppf err + | Syntaxerr.Error err -> + Syntaxerr.report_error ppf err + | Pparse.Error -> + Location.print_error_cur_file ppf; + fprintf ppf "Preprocessor error" + | Env.Error err -> + Location.print_error_cur_file ppf; + Env.report_error ppf err + | Ctype.Tags(l, l') -> + Location.print_error_cur_file ppf; + fprintf ppf + "In this program,@ variant constructors@ `%s and `%s@ \ + have the same hash value.@ Change one of them." l l' + | Typecore.Error(loc, err) -> + Location.print_error ppf loc; Typecore.report_error ppf err + | Typetexp.Error(loc, err) -> + Location.print_error ppf loc; Typetexp.report_error ppf err + | Typedecl.Error(loc, err) -> + Location.print_error ppf loc; Typedecl.report_error ppf err + | Typeclass.Error(loc, err) -> + Location.print_error ppf loc; Typeclass.report_error ppf err + | Includemod.Error err -> + Location.print_error_cur_file ppf; + Includemod.report_error ppf err + | Typemod.Error(loc, err) -> + Location.print_error ppf loc; Typemod.report_error ppf err + | Translcore.Error(loc, err) -> + Location.print_error ppf loc; Translcore.report_error ppf err + | Translclass.Error(loc, err) -> + Location.print_error ppf loc; Translclass.report_error ppf err + | Translmod.Error(loc, err) -> + Location.print_error ppf loc; Translmod.report_error ppf err + | Symtable.Error code -> + Location.print_error_cur_file ppf; + Symtable.report_error ppf code + | Bytelink.Error code -> + Location.print_error_cur_file ppf; + Bytelink.report_error ppf code + | Bytelibrarian.Error code -> + Location.print_error_cur_file ppf; + Bytelibrarian.report_error ppf code + | Bytepackager.Error code -> + Location.print_error_cur_file ppf; + Bytepackager.report_error ppf code + | Sys_error msg -> + Location.print_error_cur_file ppf; + fprintf ppf "I/O error: %s" msg + | Warnings.Errors (n) -> + Location.print_error_cur_file ppf; + fprintf ppf "Error-enabled warnings (%d occurrences)" n + | x -> fprintf ppf "@]"; raise x in + + fprintf ppf "@[%a@]@." report exn |