summaryrefslogtreecommitdiff
path: root/bytecomp
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2010-05-21 15:45:52 +0000
committerAlain Frisch <alain@frisch.fr>2010-05-21 15:45:52 +0000
commit8ae65cc68ccc23d862742dce3f0bd894c666acf5 (patch)
tree6fe177cd04923bcb3fd9df8323a3da993e2288e9 /bytecomp
parentbaceb82d5cd0a738ebbdddd11df71dea9a3a900b (diff)
downloadocaml-located_errors.tar.gz
Keep location on value declarations.located_errors
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/located_errors@10456 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp')
-rw-r--r--bytecomp/translcore.ml4
1 files changed, 3 insertions, 1 deletions
diff --git a/bytecomp/translcore.ml b/bytecomp/translcore.ml
index 5fcd8eeb97..2651c8d160 100644
--- a/bytecomp/translcore.ml
+++ b/bytecomp/translcore.ml
@@ -481,7 +481,9 @@ let rec push_defaults loc bindings pat_expr_list partial =
Texp_match
({exp with exp_type = pat.pat_type; exp_desc =
Texp_ident (Path.Pident param,
- {val_type = pat.pat_type; val_kind = Val_reg})},
+ {val_type = pat.pat_type; val_kind = Val_reg;
+ val_loc = Location.none;
+ })},
pat_expr_list, partial) }
in
push_defaults loc bindings