@@ -406,29 +406,25 @@ let process_obj (loc : Location.t) (st : external_desc) (prim_name : string)
406
406
param_type :: arg_types,
407
407
result_types )
408
408
| Arg_cst _ ->
409
- let s = Lam_methname. translate name in
410
- ( {obj_arg_label = External_arg_spec. obj_label s; obj_arg_type},
409
+ ( {obj_arg_label = External_arg_spec. obj_label name; obj_arg_type},
411
410
arg_types,
412
411
(* ignored in [arg_types], reserved in [result_types] *)
413
412
result_types )
414
413
| Nothing ->
415
- let s = Lam_methname. translate name in
416
- ( {obj_arg_label = External_arg_spec. obj_label s; obj_arg_type},
414
+ ( {obj_arg_label = External_arg_spec. obj_label name; obj_arg_type},
417
415
param_type :: arg_types,
418
416
Parsetree. Otag ({Asttypes. txt = name; loc}, [] , ty)
419
417
:: result_types )
420
418
| Int _ ->
421
- let s = Lam_methname. translate name in
422
- ( {obj_arg_label = External_arg_spec. obj_label s; obj_arg_type},
419
+ ( {obj_arg_label = External_arg_spec. obj_label name; obj_arg_type},
423
420
param_type :: arg_types,
424
421
Otag
425
422
( {Asttypes. txt = name; loc},
426
423
[] ,
427
424
Ast_literal. type_int ~loc () )
428
425
:: result_types )
429
426
| Poly_var_string _ ->
430
- let s = Lam_methname. translate name in
431
- ( {obj_arg_label = External_arg_spec. obj_label s; obj_arg_type},
427
+ ( {obj_arg_label = External_arg_spec. obj_label name; obj_arg_type},
432
428
param_type :: arg_types,
433
429
Otag
434
430
( {Asttypes. txt = name; loc},
@@ -453,7 +449,6 @@ let process_obj (loc : Location.t) (st : external_desc) (prim_name : string)
453
449
param_type :: arg_types,
454
450
result_types )
455
451
| Nothing ->
456
- let s = Lam_methname. translate name in
457
452
let for_sure_not_nested =
458
453
match ty.ptyp_desc with
459
454
| Ptyp_constr ({txt = Lident txt ; _} , [] ) ->
@@ -462,7 +457,7 @@ let process_obj (loc : Location.t) (st : external_desc) (prim_name : string)
462
457
in
463
458
( {
464
459
obj_arg_label =
465
- External_arg_spec. optional for_sure_not_nested s ;
460
+ External_arg_spec. optional for_sure_not_nested name ;
466
461
obj_arg_type;
467
462
},
468
463
param_type :: arg_types,
@@ -472,9 +467,8 @@ let process_obj (loc : Location.t) (st : external_desc) (prim_name : string)
472
467
Ast_comb. to_undefined_type loc ty )
473
468
:: result_types )
474
469
| Int _ ->
475
- let s = Lam_methname. translate name in
476
470
( {
477
- obj_arg_label = External_arg_spec. optional true s ;
471
+ obj_arg_label = External_arg_spec. optional true name ;
478
472
obj_arg_type;
479
473
},
480
474
param_type :: arg_types,
@@ -485,9 +479,8 @@ let process_obj (loc : Location.t) (st : external_desc) (prim_name : string)
485
479
@@ Ast_literal. type_int ~loc () )
486
480
:: result_types )
487
481
| Poly_var_string _ ->
488
- let s = Lam_methname. translate name in
489
482
( {
490
- obj_arg_label = External_arg_spec. optional true s ;
483
+ obj_arg_label = External_arg_spec. optional true name ;
491
484
obj_arg_type;
492
485
},
493
486
param_type :: arg_types,
@@ -961,7 +954,7 @@ let pval_prim_of_labels (labels : string Asttypes.loc list) =
961
954
([] : External_arg_spec.obj_params )
962
955
(fun p arg_kinds ->
963
956
let obj_arg_label =
964
- External_arg_spec. obj_label (Lam_methname. translate p.txt)
957
+ External_arg_spec. obj_label (p.txt)
965
958
in
966
959
{obj_arg_type = Nothing ; obj_arg_label} :: arg_kinds)
967
960
in
@@ -974,7 +967,7 @@ let pval_prim_of_option_labels (labels : (bool * string Asttypes.loc) list)
974
967
(if ends_with_unit then [External_arg_spec. empty_kind Extern_unit ]
975
968
else [] )
976
969
(fun (is_option , p ) arg_kinds ->
977
- let label_name = Lam_methname. translate p.txt in
970
+ let label_name = p.txt in
978
971
let obj_arg_label =
979
972
if is_option then External_arg_spec. optional false label_name
980
973
else External_arg_spec. obj_label label_name
0 commit comments