diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-11-30 16:07:38 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 1999-11-30 16:07:38 +0000 |
| commit | 296fc0547052da47bf0e983cab1ce173fa1e8882 (patch) | |
| tree | 27f621f1e06d4f6493c88993969c4638861390d7 /driver/errors.ml | |
| parent | ca0b21c5adbe660a52e5a9dfe1dda16985fe5f7c (diff) | |
Merge olabl branch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver/errors.ml')
| -rw-r--r-- | driver/errors.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/driver/errors.ml b/driver/errors.ml index 05692afc3..25cb975ac 100644 --- a/driver/errors.ml +++ b/driver/errors.ml @@ -29,6 +29,8 @@ let report_error exn = Syntaxerr.report_error err | Env.Error err -> Env.report_error err + | Ctype.Tags(l, l') -> + printf "In this program,@ variant constructors@ `%s and `%s@ have same hash value." l l' | Typecore.Error(loc, err) -> Location.print loc; Typecore.report_error err | Typetexp.Error(loc, err) -> |