From 4f824bf4d9d98e2c64d00c045ba658e2e6784749 Mon Sep 17 00:00:00 2001 From: Olivier Nicole Date: Mon, 11 Apr 2016 17:03:02 +0200 Subject: [PATCH] Replace ">" with ">=" --- bytecomp/translcore.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/bytecomp/translcore.ml b/bytecomp/translcore.ml index 1c2fdaac0..281bcdab4 100644 --- a/bytecomp/translcore.ml +++ b/bytecomp/translcore.ml @@ -1234,9 +1234,10 @@ and transl_setinstvar self var expr = and transl_record env all_labels repres lbl_expr_list opt_init_expr = let size = Array.length all_labels in - (* If this is a record update, determine if there are "enough" fields *) + (* Determine if there are "enough" fields (only relevant if this is a + functional-style record update *) let no_init = match opt_init_expr with None -> true | _ -> false in - if no_init || size > Config.max_young_wosize + if no_init || size >= Config.max_young_wosize then begin (* Allocate new record with given fields (and remaining fields taken from init_expr if any *)