unknown_types_from_arity

Author: mshinwell

middle_end/flambda2/simplify/simplify_apply_expr.ml

@@ -212,7 +212,7 @@ let simplify_direct_full_application0 ~simplify_expr dacc apply function_type
           DA.record_continuation_use dacc apply_return_continuation
             (Non_inlinable { escaping = true })
             ~env_at_use:(DA.denv dacc)
-            ~arg_types:(T.unknown_types_from_arity_with_subkinds result_arity)
+            ~arg_types:(T.unknown_types_from_arity result_arity)
         in
         dacc, Some use_id, result_continuation
       | Return apply_return_continuation, Ok result_types ->
@@ -285,7 +285,7 @@ let simplify_direct_full_application0 ~simplify_expr dacc apply function_type
         (Non_inlinable { escaping = true })
         ~env_at_use:(DA.denv dacc)
         ~arg_types:
-          (T.unknown_types_from_arity_with_subkinds
+          (T.unknown_types_from_arity
              (Exn_continuation.arity (Apply.exn_continuation apply)))
     in
     let apply = Apply.with_continuation apply result_continuation in
@@ -839,15 +839,14 @@ let simplify_function_call_where_callee's_type_unavailable dacc apply
       (Non_inlinable { escaping = true })
       ~env_at_use:(DA.denv dacc)
       ~arg_types:
-        (T.unknown_types_from_arity_with_subkinds
+        (T.unknown_types_from_arity
            (Exn_continuation.arity (Apply.exn_continuation apply)))
   in
   let dacc, use_id =
     DA.record_continuation_use dacc cont
       (Non_inlinable { escaping = true })
       ~env_at_use
-      ~arg_types:
-        (T.unknown_types_from_arity_with_subkinds (Apply.return_arity apply))
+      ~arg_types:(T.unknown_types_from_arity (Apply.return_arity apply))
   in
   let call_kind =
     match call with
@@ -1037,7 +1036,7 @@ let simplify_method_call dacc apply ~callee_ty ~kind:_ ~obj ~arg_types
       (Non_inlinable { escaping = true })
       ~env_at_use:(DA.denv dacc)
       ~arg_types:
-        (T.unknown_types_from_arity_with_subkinds
+        (T.unknown_types_from_arity
            (Exn_continuation.arity (Apply.exn_continuation apply)))
   in
   let dacc =
@@ -1123,7 +1122,7 @@ let simplify_c_call ~simplify_expr dacc apply ~callee_ty ~arg_types ~down_to_up
         (Non_inlinable { escaping = true })
         ~env_at_use:(DA.denv dacc)
         ~arg_types:
-          (T.unknown_types_from_arity_with_subkinds
+          (T.unknown_types_from_arity
              (Exn_continuation.arity (Apply.exn_continuation apply)))
     in
     let dacc =

middle_end/flambda2/types/flambda2_types.mli

@@ -517,8 +517,6 @@ val get_alias_exn : t -> Simple.t
 (** For each of the kinds in an arity, create an "unknown" type. *)
 val unknown_types_from_arity : Flambda_arity.t -> t list
 
-val unknown_types_from_arity_with_subkinds : Flambda_arity.t -> t list
-
 (** For each of the kinds in an arity, create an "bottom" type. *)
 val bottom_types_from_arity : Flambda_arity.t -> t list
 

middle_end/flambda2/types/grammar/more_type_creators.ml

@@ -278,11 +278,6 @@ let arity_of_list ts =
   Flambda_arity.create
     (List.map (fun ty -> Flambda_kind.With_subkind.anything (TG.kind ty)) ts)
 
-let unknown_types_from_arity arity =
-  List.map
-    (fun kind -> unknown kind)
-    (List.map Flambda_kind.With_subkind.kind (Flambda_arity.to_list arity))
-
 let rec unknown_with_subkind ?(alloc_mode = Alloc_mode.For_types.unknown ())
     (kind : Flambda_kind.With_subkind.t) =
   (* CR mshinwell: use [alloc_mode] more *)
@@ -334,7 +329,7 @@ let rec unknown_with_subkind ?(alloc_mode = Alloc_mode.For_types.unknown ())
     TG.mutable_array ~element_kind:Unknown ~length:any_tagged_immediate
       alloc_mode
 
-let unknown_types_from_arity_with_subkinds arity =
+let unknown_types_from_arity arity =
   List.map (fun kind -> unknown_with_subkind kind) (Flambda_arity.to_list arity)
 
 let bottom_types_from_arity arity =

middle_end/flambda2/types/grammar/more_type_creators.mli

@@ -151,8 +151,5 @@ val unknown_with_subkind :
 (** For each of the kinds in an arity, create an "unknown" type. *)
 val unknown_types_from_arity : Flambda_arity.t -> Type_grammar.t list
 
-val unknown_types_from_arity_with_subkinds :
-  Flambda_arity.t -> Type_grammar.t list
-
 (** For each of the kinds in an arity, create an "bottom" type. *)
 val bottom_types_from_arity : Flambda_arity.t -> Type_grammar.t list