simplify

Author: cristianoc

compiler/frontend/ast_core_type.ml

@@ -131,9 +131,6 @@ let get_curry_arity (ty : t) =
 
 let is_arity_one ty = get_curry_arity ty = 1
 
-let mk_fn_type ~loc (new_arg_types_ty : Parsetree.arg list) (result : t) : t =
-  Typ.arrows ~loc new_arg_types_ty result
-
 let list_of_arrow (ty : t) : t * Parsetree.arg list =
   let rec aux (ty : t) acc =
     match ty.ptyp_desc with
@@ -148,6 +145,6 @@ let list_of_arrow (ty : t) : t * Parsetree.arg list =
 
 let add_last_obj (ty : t) (obj : t) =
   let result, params = list_of_arrow ty in
-  mk_fn_type ~loc:obj.ptyp_loc
+  Typ.arrows ~loc:obj.ptyp_loc
     (params @ [{lbl = Nolabel; typ = obj; attrs = []}])
     result

compiler/frontend/ast_core_type.mli

@@ -47,8 +47,6 @@ val get_uncurry_arity : t -> int option
    None -- means not a function
 *)
 
-val mk_fn_type : loc:Location.t -> Parsetree.arg list -> t -> t
-
 val list_of_arrow : t -> t * Parsetree.arg list
 (** fails when Ptyp_poly *)
 

compiler/frontend/ast_external_process.ml

@@ -592,7 +592,7 @@ let process_obj (loc : Location.t) (st : external_desc) (prim_name : string)
     in
 
     ( List.length new_arg_types_ty,
-      Ast_core_type.mk_fn_type ~loc new_arg_types_ty result,
+      Ast_helper.Typ.arrows ~loc new_arg_types_ty result,
       External_ffi_types.ffi_obj_create arg_kinds )
   | _ -> Location.raise_errorf ~loc "Attribute found that conflicts with %@obj"
 
@@ -1005,7 +1005,7 @@ let handle_attributes (loc : Bs_loc.t) (type_annotation : Parsetree.core_type)
     let return_wrapper =
       check_return_wrapper loc external_desc.return_wrapper result_type
     in
-    let fn_type = Ast_core_type.mk_fn_type ~loc new_arg_types_ty result_type in
+    let fn_type = Ast_helper.Typ.arrows ~loc new_arg_types_ty result_type in
     ( build_uncurried_type ~arity:(List.length new_arg_types_ty) fn_type,
       External_ffi_types.ffi_bs arg_type_specs return_wrapper ffi,
       unused_attrs,