diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-09-12 14:24:27 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-09-12 14:24:27 +0000 |
| commit | bc9e5b0a5103724e6610a56898dd1b81528bec70 (patch) | |
| tree | 0f49b2f4254ec2e9b05791aed09a5b8ba4b958ff /driver | |
| parent | 2e16ccd61f432134b67898435cc1c9f465cd1f4f (diff) | |
| download | ocaml-bc9e5b0a5103724e6610a56898dd1b81528bec70.tar.gz | |
Switch {Translmod,Translcore,Translclass}.Error.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/exception_registration@14118 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/errors.ml | 6 | ||||
| -rw-r--r-- | driver/opterrors.ml | 6 |
2 files changed, 0 insertions, 12 deletions
diff --git a/driver/errors.ml b/driver/errors.ml index 85f9fd66f4..011067adb8 100644 --- a/driver/errors.ml +++ b/driver/errors.ml @@ -21,12 +21,6 @@ open Format let report_error ppf exn = let report ppf = function - | 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 diff --git a/driver/opterrors.ml b/driver/opterrors.ml index f4702f635e..94bf184538 100644 --- a/driver/opterrors.ml +++ b/driver/opterrors.ml @@ -20,12 +20,6 @@ open Format let report_error ppf exn = let report ppf = function - | 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 | Compilenv.Error code -> Location.print_error_cur_file ppf; Compilenv.report_error ppf code |