diff options
| author | Alain Frisch <alain@frisch.fr> | 2014-04-22 14:36:29 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2014-04-22 14:36:29 +0000 |
| commit | af3d4aa91f25220be2eae78f00db01864ecfd467 (patch) | |
| tree | 0334d002f7affbabc5e16e4f84e3fab192bde2ee | |
| parent | 1ef064f29cbdddef61d893c6e4965556ed00fba5 (diff) | |
| download | ocaml-af3d4aa91f25220be2eae78f00db01864ecfd467.tar.gz | |
Better locations.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14658 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/typedecl.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/typing/typedecl.ml b/typing/typedecl.ml index d09130f929..b9c51b4d60 100644 --- a/typing/typedecl.ml +++ b/typing/typedecl.ml @@ -1056,12 +1056,12 @@ let transl_exn_rebind env loc ser = try Env.lookup_constructor lid.txt env with Not_found -> - raise(Error(loc, Unbound_exception lid.txt)) in + raise(Error(lid.loc, Unbound_exception lid.txt)) in Env.mark_constructor Env.Positive env (Longident.last lid.txt) cdescr; let path = match cdescr.cstr_tag with Cstr_exception (path, _) -> path - | _ -> raise(Error(loc, Not_an_exception lid.txt)) + | _ -> raise(Error(lid.loc, Not_an_exception lid.txt)) in let exn_decl = { @@ -1341,9 +1341,9 @@ let report_error ppf = function fprintf ppf "A type variable is unbound in this exception declaration"; explain_unbound_single ppf (Ctype.repr tv) ty | Unbound_exception lid -> - fprintf ppf "Unbound exception constructor@ %a" Printtyp.longident lid + fprintf ppf "Unbound exception constructor %a" Printtyp.longident lid | Not_an_exception lid -> - fprintf ppf "The constructor@ %a@ is not an exception" + fprintf ppf "The constructor %a is not an exception" Printtyp.longident lid | Bad_variance (n, v1, v2) -> let variance (p,n,i) = |