Permalink
Browse files

Better locations.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14658 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  • Loading branch information...
1 parent 1ef064f commit af3d4aa91f25220be2eae78f00db01864ecfd467 @alainfrisch alainfrisch committed Apr 22, 2014
Showing with 4 additions and 4 deletions.
  1. +4 −4 typing/typedecl.ml
View
@@ -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) =

0 comments on commit af3d4aa

Please sign in to comment.