diff options
Diffstat (limited to 'typing/datarepr.ml')
| -rw-r--r-- | typing/datarepr.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/typing/datarepr.ml b/typing/datarepr.ml index 5d44504270..f3ffc88984 100644 --- a/typing/datarepr.ml +++ b/typing/datarepr.ml @@ -101,6 +101,7 @@ let none = {desc = Ttuple []; level = -1; id = -1} (* Clearly ill-formed type *) let dummy_label = { lbl_name = ""; lbl_res = none; lbl_arg = none; lbl_mut = Immutable; + lbl_focus = NoFocus; lbl_pos = (-1); lbl_all = [||]; lbl_repres = Record_regular; lbl_private = Public } @@ -108,12 +109,13 @@ let label_descrs ty_res lbls repres priv = let all_labels = Array.create (List.length lbls) dummy_label in let rec describe_labels num = function [] -> [] - | (name, mut_flag, ty_arg) :: rest -> + | (name, mut_flag, focus_flag, ty_arg) :: rest -> let lbl = { lbl_name = Ident.name name; lbl_res = ty_res; lbl_arg = ty_arg; lbl_mut = mut_flag; + lbl_focus = focus_flag; lbl_pos = num; lbl_all = all_labels; lbl_repres = repres; |