Support uncurried in PPX V3.

Author: cristianoc

CHANGELOG.md

@@ -70,6 +70,7 @@ These are only breaking changes for unformatted code.
 - Process `@set` annotation for field update as generating an uncurried function https://github.com/rescript-lang/rescript-compiler/pull/5846
 - Treat uncurried application of primitives like curried application, which produces better output https://github.com/rescript-lang/rescript-compiler/pull/5851
 - New internal representation for uncurried functions using built-in type `function$<fun_type, arity>` this avoids having to declare all the possible arities ahead of time https://github.com/rescript-lang/rescript-compiler/pull/5870
+- PPX V3: allow uncurried `make` function and treat it like a curried one https://github.com/rescript-lang/rescript-compiler/pull/6081
 
 # 10.1.4
 

res_syntax/src/reactjs_jsx_v3.ml

@@ -597,6 +597,7 @@ let jsxMapper ~config =
       match List.filter React_jsx_common.hasAttr pval_attributes with
       | [] -> [item]
       | [_] ->
+        let pval_type = React_jsx_common.extractUncurried pval_type in
         let rec getPropTypes types ({ptyp_loc; ptyp_desc} as fullType) =
           match ptyp_desc with
           | Ptyp_arrow (name, type_, ({ptyp_desc = Ptyp_arrow _} as rest))
@@ -648,6 +649,7 @@ let jsxMapper ~config =
       let emptyLoc = Location.in_file fileName in
       let mapBinding binding =
         if React_jsx_common.hasAttrOnBinding binding then
+          let binding = React_jsx_common.removeArity binding in
           let bindingLoc = binding.pvb_loc in
           let bindingPatLoc = binding.pvb_pat.ppat_loc in
           let binding =
@@ -1031,6 +1033,7 @@ let jsxMapper ~config =
       match List.filter React_jsx_common.hasAttr pval_attributes with
       | [] -> [item]
       | [_] ->
+        let pval_type = React_jsx_common.extractUncurried pval_type in
         let rec getPropTypes types ({ptyp_loc; ptyp_desc} as fullType) =
           match ptyp_desc with
           | Ptyp_arrow (name, type_, ({ptyp_desc = Ptyp_arrow _} as rest))