diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-09-12 14:06:48 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-09-12 14:06:48 +0000 |
| commit | af5e566d62712eb287a3175af76ef0a62f0b613d (patch) | |
| tree | 8ccaac473f6e4c210dc978779d42d63724a5d066 /driver | |
| parent | 08ed781ecc8f2ff901d29b5e2ddb78c46c15287c (diff) | |
| download | ocaml-af5e566d62712eb287a3175af76ef0a62f0b613d.tar.gz | |
Switch Typetexp.Error, Typedecl.Error, Typemod.Error, Typeclass.Error.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/exception_registration@14114 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/errors.ml | 8 | ||||
| -rw-r--r-- | driver/opterrors.ml | 8 |
2 files changed, 0 insertions, 16 deletions
diff --git a/driver/errors.ml b/driver/errors.ml index 06cf4265e0..149ccc3199 100644 --- a/driver/errors.ml +++ b/driver/errors.ml @@ -21,17 +21,9 @@ open Format let report_error ppf exn = let report ppf = function - | Typetexp.Error(loc, env, err) -> - Location.print_error ppf loc; Typetexp.report_error env ppf err - | Typedecl.Error(loc, err) -> - Location.print_error ppf loc; Typedecl.report_error ppf err - | Typeclass.Error(loc, env, err) -> - Location.print_error ppf loc; Typeclass.report_error env ppf err | Includemod.Error err -> Location.print_error_cur_file ppf; Includemod.report_error ppf err - | Typemod.Error(loc, env, err) -> - Location.print_error ppf loc; Typemod.report_error env ppf err | Translcore.Error(loc, err) -> Location.print_error ppf loc; Translcore.report_error ppf err | Translclass.Error(loc, err) -> diff --git a/driver/opterrors.ml b/driver/opterrors.ml index 14a788f52c..4f4912691f 100644 --- a/driver/opterrors.ml +++ b/driver/opterrors.ml @@ -20,17 +20,9 @@ open Format let report_error ppf exn = let report ppf = function - | Typetexp.Error(loc, env, err) -> - Location.print_error ppf loc; Typetexp.report_error env ppf err - | Typedecl.Error(loc, err) -> - Location.print_error ppf loc; Typedecl.report_error ppf err - | Typeclass.Error(loc, env, err) -> - Location.print_error ppf loc; Typeclass.report_error env ppf err | Includemod.Error err -> Location.print_error_cur_file ppf; Includemod.report_error ppf err - | Typemod.Error(loc, env, err) -> - Location.print_error ppf loc; Typemod.report_error env ppf err | Translcore.Error(loc, err) -> Location.print_error ppf loc; Translcore.report_error ppf err | Translclass.Error(loc, err) -> |