diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-09-12 13:59:45 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-09-12 13:59:45 +0000 |
| commit | 08ed781ecc8f2ff901d29b5e2ddb78c46c15287c (patch) | |
| tree | e0edd37b8a8ce288873084416cd8f815c0a4575d /driver | |
| parent | c18155a018d741d92920e9670b20504add35dac3 (diff) | |
| download | ocaml-08ed781ecc8f2ff901d29b5e2ddb78c46c15287c.tar.gz | |
Switch Ctype.Tags.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/exception_registration@14113 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/errors.ml | 5 | ||||
| -rw-r--r-- | driver/opterrors.ml | 5 |
2 files changed, 0 insertions, 10 deletions
diff --git a/driver/errors.ml b/driver/errors.ml index 79ffba70bf..06cf4265e0 100644 --- a/driver/errors.ml +++ b/driver/errors.ml @@ -21,11 +21,6 @@ open Format let report_error ppf exn = let report ppf = function - | Ctype.Tags(l, l') -> - Location.print_error_cur_file ppf; - fprintf ppf - "In this program,@ variant constructors@ `%s and `%s@ \ - have the same hash value.@ Change one of them." l l' | Typetexp.Error(loc, env, err) -> Location.print_error ppf loc; Typetexp.report_error env ppf err | Typedecl.Error(loc, err) -> diff --git a/driver/opterrors.ml b/driver/opterrors.ml index 16ead178bd..14a788f52c 100644 --- a/driver/opterrors.ml +++ b/driver/opterrors.ml @@ -20,11 +20,6 @@ open Format let report_error ppf exn = let report ppf = function - | Ctype.Tags(l, l') -> - Location.print_error_cur_file ppf; - fprintf ppf - "In this program,@ variant constructors@ `%s and `%s@ \ - have the same hash value.@ Change one of them." l l' | Typetexp.Error(loc, env, err) -> Location.print_error ppf loc; Typetexp.report_error env ppf err | Typedecl.Error(loc, err) -> |