Replace ">" with ">="

master
Olivier Nicole 2016-04-11 17:03:02 +02:00
parent 00bc0a9f59
commit 4f824bf4d9
1 changed files with 3 additions and 2 deletions

View File

@ -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 *)