diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2016-09-01 18:39:32 +0200 |
|---|---|---|
| committer | David Allsopp <david.allsopp@metastack.com> | 2016-12-14 13:14:21 +0000 |
| commit | 10e5659edbde1d4e4154f2c8bc5ecf9be4b73bf3 (patch) | |
| tree | c854b100939ca3aa5f5d6000b4d0ceccdc8a0cc2 /typing/datarepr.ml | |
| parent | 2ecd3f43e4764eba27963af7d290271a15460edc (diff) | |
| download | ocaml-10e5659edbde1d4e4154f2c8bc5ecf9be4b73bf3.tar.gz | |
fix discrepancy between the executables generated by
ocamlc.opt and ocamlc.byte (and between ocamlopt.opt and ocamlopt.byte)
(reported by Sebastien Hinderer)
Diffstat (limited to 'typing/datarepr.ml')
| -rw-r--r-- | typing/datarepr.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/typing/datarepr.ml b/typing/datarepr.ml index 178af39665..5c46ae156b 100644 --- a/typing/datarepr.ml +++ b/typing/datarepr.ml @@ -74,8 +74,8 @@ let constructor_args priv cd_args cd_res path rep = let type_params = TypeSet.elements arg_vars_set in let type_unboxed = match rep with - | Record_unboxed _ -> { unboxed = true; default = false } - | _ -> { unboxed = false; default = false } + | Record_unboxed _ -> unboxed_true_default_false + | _ -> unboxed_false_default_false in let tdecl = { |