diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2003-06-19 15:53:53 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2003-06-19 15:53:53 +0000 |
| commit | 1fa763e0c58fa76de0bfaf879f7fdd63ca99f0ec (patch) | |
| tree | b5b6ccb30ef36b441b794d55c74841533e1a5c11 /driver/errors.ml | |
| parent | b55c04a78864716f083b03fcdacddd2939e81d6e (diff) | |
Merge branch with recursive modules
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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 |