summaryrefslogtreecommitdiff
path: root/lambda/translcore.ml
diff options
context:
space:
mode:
authorThomas Refis <thomas.refis@gmail.com>2019-08-13 15:11:16 +0100
committerThomas Refis <thomas.refis@gmail.com>2019-09-11 14:21:05 -0400
commit50695d51c351a3c15530802eb5030d341602ff01 (patch)
tree10125338adbed60131a0e9854c5b92d85985da81 /lambda/translcore.ml
parent83690293dcf942e14140a4841b1ff27a9b39ede0 (diff)
downloadocaml-pr8934.tar.gz
PR#8934: used as a base for other PRspr8934
Diffstat (limited to 'lambda/translcore.ml')
-rw-r--r--lambda/translcore.ml3
1 files changed, 2 insertions, 1 deletions
diff --git a/lambda/translcore.ml b/lambda/translcore.ml
index fc88d05559..5bd2f0680f 100644
--- a/lambda/translcore.ml
+++ b/lambda/translcore.ml
@@ -126,7 +126,8 @@ let rec push_defaults loc bindings cases partial =
let param = Typecore.name_cases "param" cases in
let desc =
{val_type = pat.pat_type; val_kind = Val_reg;
- val_attributes = []; Types.val_loc = Location.none; }
+ val_attributes = []; Types.val_loc = Location.none;
+ val_uid = Types.Uid.internal_not_actually_unique; }
in
let env = Env.add_value param desc exp.exp_env in
let name = Ident.name param in