diff options
| author | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2015-04-03 16:40:24 +0000 |
|---|---|---|
| committer | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2015-04-03 16:40:24 +0000 |
| commit | 38da8928c39e0ec3671a8117a2b59f7eebeb880b (patch) | |
| tree | f69cf2284a5d89649230cc3e4a22b2e3406446ee /typing | |
| parent | 241318928e592bd24ca70bfb8c40bcee35dfeb91 (diff) | |
| download | ocaml-38da8928c39e0ec3671a8117a2b59f7eebeb880b.tar.gz | |
Add location info on Tcoerce_primitive
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15984 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing')
| -rw-r--r-- | typing/includecore.ml | 3 | ||||
| -rw-r--r-- | typing/typedtree.ml | 1 | ||||
| -rw-r--r-- | typing/typedtree.mli | 1 |
3 files changed, 4 insertions, 1 deletions
diff --git a/typing/includecore.ml b/typing/includecore.ml index bda7ceb370..f3bbbfd86e 100644 --- a/typing/includecore.ml +++ b/typing/includecore.ml @@ -27,7 +27,8 @@ let value_descriptions env vd1 vd2 = (Val_prim p1, Val_prim p2) -> if p1 = p2 then Tcoerce_none else raise Dont_match | (Val_prim p, _) -> - let pc = {pc_desc = p; pc_type = vd2.val_type; pc_env = env } in + let pc = {pc_desc = p; pc_type = vd2.val_type; + pc_env = env; pc_loc = vd1.val_loc; } in Tcoerce_primitive pc | (_, Val_prim p) -> raise Dont_match | (_, _) -> Tcoerce_none diff --git a/typing/typedtree.ml b/typing/typedtree.ml index b68cb806ad..2de31ddc24 100644 --- a/typing/typedtree.ml +++ b/typing/typedtree.ml @@ -269,6 +269,7 @@ and primitive_coercion = pc_desc: Primitive.description; pc_type: type_expr; pc_env: Env.t; + pc_loc : Location.t; } and signature = { diff --git a/typing/typedtree.mli b/typing/typedtree.mli index ec5a4bab91..736d9295c1 100644 --- a/typing/typedtree.mli +++ b/typing/typedtree.mli @@ -267,6 +267,7 @@ and primitive_coercion = pc_desc: Primitive.description; pc_type: type_expr; pc_env: Env.t; + pc_loc : Location.t; } and signature = { |