From 32524e36c117d94684dfcde24f13003c4e0f64a7 Mon Sep 17 00:00:00 2001 From: Hyeseong Kim Date: Wed, 6 Nov 2024 02:50:34 +0900 Subject: [PATCH] keep arg labels --- compiler/ml/typecore.ml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/compiler/ml/typecore.ml b/compiler/ml/typecore.ml index bd9928b31b..ae6e81b0ca 100644 --- a/compiler/ml/typecore.ml +++ b/compiler/ml/typecore.ml @@ -3572,7 +3572,7 @@ and translate_unified_ops (env : Env.t) (funct : Typedtree.expression) | Texp_ident (path, _, _) -> ( let entry = Hashtbl.find_opt Unified_ops.index_by_path (Path.name path) in match (entry, sargs) with - | Some {form = Unary; specialization; _}, [(Nolabel, lhs_expr)] -> + | Some {form = Unary; specialization; _}, [(lhs_label, lhs_expr)] -> let lhs = type_exp env lhs_expr in let lhs_type = expand_head env lhs.exp_type in let result_type = @@ -3595,10 +3595,10 @@ and translate_unified_ops (env : Env.t) (funct : Typedtree.expression) unify env lhs_type Predef.type_int; Predef.type_int in - let targs = [(Nolabel, Some lhs)] in + let targs = [(lhs_label, Some lhs)] in Some (targs, result_type) | ( Some {form = Binary; specialization; _}, - [(Nolabel, lhs_expr); (Nolabel, rhs_expr)] ) -> + [(lhs_label, lhs_expr); (rhs_label, rhs_expr)] ) -> let lhs = type_exp env lhs_expr in let lhs_type = expand_head env lhs.exp_type in let rhs = type_exp env rhs_expr in @@ -3648,12 +3648,12 @@ and translate_unified_ops (env : Env.t) (funct : Typedtree.expression) let lhs = type_expect env lhs_expr Predef.type_string in (lhs, rhs, Predef.type_string) | _ -> - (* Rule 2. Fallback to int *) + (* Rule 3. Fallback to int *) let lhs = type_expect env lhs_expr Predef.type_int in let rhs = type_expect env rhs_expr Predef.type_int in (lhs, rhs, Predef.type_int)) in - let targs = [(Nolabel, Some lhs); (Nolabel, Some rhs)] in + let targs = [(lhs_label, Some lhs); (rhs_label, Some rhs)] in Some (targs, result_type) | _ -> None) | _ -> None