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/errors.ml | |
| parent | 2e16ccd61f432134b67898435cc1c9f465cd1f4f (diff) | |
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/errors.ml')
| -rw-r--r-- | driver/errors.ml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/driver/errors.ml b/driver/errors.ml index 85f9fd66f..011067adb 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 |