Maybe not all instances.

Author: cristianoc

jscomp/core/lam_compile.ml

@@ -1407,8 +1407,8 @@ and compile_apply (appinfo : Lam.apply) (lambda_cxt : Lam_compile_context.t) =
   match appinfo with
   | {
    ap_func =
-     Lapply { ap_func; ap_args; ap_info = { ap_status = App_uncurry; ap_inlined } };
-   ap_info = { ap_status = App_uncurry } as outer_ap_info;
+     Lapply { ap_func; ap_args; ap_info = { ap_status = App_na; ap_inlined } };
+   ap_info = { ap_status = App_na } as outer_ap_info;
   } ->
       (* After inlining, we can generate such code, see {!Ari_regress_test}*)
       let ap_info =

jscomp/core/lam_convert.ml

@@ -695,14 +695,14 @@ let convert (exports : Set_ident.t) (lam : Lambda.lambda) :
           {
             ap_loc = outer_loc;
             ap_inlined = ap_info.ap_inlined;
-            ap_status = App_uncurry;
+            ap_status = App_na;
           }
     | _ ->
         Lam.apply f [ x ]
           {
             ap_loc = outer_loc;
             ap_inlined = Default_inline;
-            ap_status = App_uncurry;
+            ap_status = App_na;
           }
   and convert_switch (e : Lambda.lambda) (s : Lambda.lambda_switch) =
     let e = convert_aux e in

jscomp/core/lam_eta_conversion.ml

@@ -111,7 +111,7 @@ let transform_under_supply n ap_info fn args =
 let unsafe_adjust_to_arity loc ~(to_ : int) ?(from : int option) (fn : Lam.t) :
     Lam.t =
   let ap_info : Lam.ap_info =
-    { ap_loc = loc; ap_inlined = Default_inline; ap_status = App_uncurry }
+    { ap_loc = loc; ap_inlined = Default_inline; ap_status = App_na }
   in
   let is_async_fn = match fn with
     | Lfunction { attr = {async}} -> async 
@@ -199,7 +199,7 @@ let unsafe_adjust_to_arity loc ~(to_ : int) ?(from : int option) (fn : Lam.t) :
                    Lam.apply
                      (Lam.apply new_fn
                         (Ext_list.map first_args Lam.var)
-                        { ap_info with ap_status = App_uncurry })
+                        { ap_info with ap_status = App_infer_full })
                      (Ext_list.map rest_args Lam.var)
                      ap_info)
             in
@@ -260,7 +260,7 @@ let unsafe_adjust_to_arity loc ~(to_ : int) ?(from : int option) (fn : Lam.t) :
                           (Ext_list.map_append extra_outer_args
                              (Ext_list.map extra_inner_args Lam.var)
                              Lam.var)
-                          { ap_info with ap_status = App_uncurry }))
+                          { ap_info with ap_status = App_infer_full }))
             in
             match wrapper with
             | None -> cont

jscomp/core/lam_pass_alpha_conversion.ml

@@ -30,18 +30,18 @@ let alpha_conversion (meta : Lam_stats.t) (lam : Lam.t) : Lam.t =
     | x :: _ ->
         if x = len then
           Lam.apply (simpl fn) (Ext_list.map args simpl)
-            { ap_info with ap_status = App_uncurry }
+            { ap_info with ap_status = App_infer_full }
         else if x > len then
           let fn = simpl fn in
           let args = Ext_list.map args simpl in
           Lam_eta_conversion.transform_under_supply (x - len)
-            { ap_info with ap_status = App_uncurry }
+            { ap_info with ap_status = App_infer_full }
             fn args
         else
           let first, rest = Ext_list.split_at args x in
           Lam.apply
             (Lam.apply (simpl fn) (Ext_list.map first simpl)
-               { ap_info with ap_status = App_uncurry })
+               { ap_info with ap_status = App_infer_full })
             (Ext_list.map rest simpl) ap_info
   (* TODO refien *)
   and simpl (lam : Lam.t) =