diff options
Diffstat (limited to 'driver/errors.ml')
| -rw-r--r-- | driver/errors.ml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/driver/errors.ml b/driver/errors.ml index a58b9a938..03cd5690c 100644 --- a/driver/errors.ml +++ b/driver/errors.ml @@ -40,12 +40,18 @@ let report_error ppf exn = Location.print ppf loc; Typetexp.report_error ppf err | Typedecl.Error(loc, err) -> Location.print ppf loc; Typedecl.report_error ppf err + | Typeclass.Error(loc, err) -> + Location.print ppf loc; Typeclass.report_error ppf err | Includemod.Error err -> Includemod.report_error ppf err | Typemod.Error(loc, err) -> Location.print ppf loc; Typemod.report_error ppf err | Translcore.Error(loc, err) -> Location.print ppf loc; Translcore.report_error ppf err + | Translclass.Error(loc, err) -> + Location.print ppf loc; Translclass.report_error ppf err + | Translmod.Error(loc, err) -> + Location.print ppf loc; Translmod.report_error ppf err | Symtable.Error code -> Symtable.report_error ppf code | Bytelink.Error code -> @@ -56,10 +62,6 @@ let report_error ppf exn = Bytepackager.report_error ppf code | Sys_error msg -> fprintf ppf "I/O error: %s" msg - | Typeclass.Error(loc, err) -> - Location.print ppf loc; Typeclass.report_error ppf err - | Translclass.Error(loc, err) -> - Location.print ppf loc; Translclass.report_error ppf err | Warnings.Errors (n) -> fprintf ppf "@.Error: %d error-enabled warnings occurred." n | x -> fprintf ppf "@]"; raise x in |