Native: keep labeled-arg make, use old-style JSX calls

On native, don't generate the makeProps/wrapper pattern for
[@react.component]. Keep make with its original labeled-arg signature
for backward compatibility with .rei files, .ml call sites, and
first-class modules. Native JSX now generates old-style labeled-arg
calls (Component.make ~prop1:v1 ~children:... ()) instead of
Component.make(Component.makeProps(~prop1:v1, ...)).

Author: davesnx

packages/server-reason-react-ppx/server_reason_react_ppx.ml

@@ -99,7 +99,8 @@ let component_make_props_ident tag =
 
 let is_key_arg (label, _) = match label with Optional "key" | Labelled "key" -> true | _ -> false
 
-let rewrite_component ~loc tag args children =
+(* JSX rewrite for JS/melange: Component.make(Component.makeProps(~prop1:v1, ...)) *)
+let rewrite_component_js ~loc tag args children =
   let component = pexp_ident ~loc tag in
   let props_args =
     match children with
@@ -116,6 +117,22 @@ let rewrite_component ~loc tag args children =
   in
   pexp_apply ~loc component make_args
 
+(* JSX rewrite for native: Component.make(~prop1:v1, ~children:..., ()) -- old-style labeled args *)
+let rewrite_component_native ~loc tag args children =
+  let component = pexp_ident ~loc tag in
+  let props_args =
+    match children with
+    | None -> args
+    | Some [ children ] -> (Labelled "children", children) :: args
+    | Some children -> (Labelled "children", [%expr React.list [%e pexp_list ~loc children]]) :: args
+  in
+  pexp_apply ~loc component (props_args @ [ (Nolabel, [%expr ()]) ])
+
+let rewrite_component ~loc tag args children =
+  match mode.contents with
+  | Js -> rewrite_component_js ~loc tag args children
+  | Native -> rewrite_component_native ~loc tag args children
+
 let validate_prop ~loc id name =
   match DomProps.findByJsxName ~tag:id name with
   | Ok p -> p
@@ -1356,41 +1373,14 @@ let rewrite_structure_item ~nested_module_names structure_item =
           else None
         in
         let rewrites = List.map value_bindings ~f:rewrite_component_binding in
-        let make_props_bindings =
-          List.filter_map rewrites ~f:(function
-            | Some (_, make_props_binding, _) -> Some make_props_binding
-            | None -> None)
-        in
-        let public_bindings =
-          List.filter_map rewrites ~f:(function Some (_, _, public_binding) -> Some public_binding | None -> None)
-        in
         let internal_bindings =
           List.map2 value_bindings rewrites ~f:(fun vb rewrite ->
               match rewrite with Some (internal_binding, _, _) -> internal_binding | None -> vb)
         in
-        match make_props_bindings with
-        | [] -> pstr_value ~loc:structure_item.pstr_loc rec_flag internal_bindings
-        | _ -> (
-            let loc = structure_item.pstr_loc in
-            (* Propagate non-react attributes from the original bindings to the
-               include struct. This ensures attributes like [@platform js] or
-               [@browser_only] are visible to subsequent ppxes (e.g. browser_ppx) so they can drop the entire include when needed. *)
-            let propagated_attrs =
-              List.concat_map value_bindings ~f:(fun vb ->
-                  List.filter vb.pvb_attributes ~f:(fun attr -> not (is_react_attr attr)))
-            in
-            let include_stri =
-              [%stri
-                include struct
-                  [%%i pstr_value ~loc:structure_item.pstr_loc Nonrecursive make_props_bindings]
-                  [%%i pstr_value ~loc:structure_item.pstr_loc rec_flag internal_bindings]
-                  [%%i pstr_value ~loc:structure_item.pstr_loc Nonrecursive public_bindings]
-                end]
-            in
-            match (propagated_attrs, include_stri.pstr_desc) with
-            | _ :: _, Pstr_include incl ->
-                { include_stri with pstr_desc = Pstr_include { incl with pincl_attributes = propagated_attrs } }
-            | _ -> include_stri)
+        (* On native, keep make with labeled args (no wrapper) for backward
+           compatibility with .rei files, .ml call sites, and first-class modules.
+           Native JSX uses old-style labeled arg calls, so makeProps/wrapper aren't needed. *)
+        pstr_value ~loc:structure_item.pstr_loc rec_flag internal_bindings
       with Error err -> pstr_eval ~loc:structure_item.pstr_loc err [])
   | _ -> structure_item
 

tasks/plan-08-action-formdata-protocol-progressive-ench.md

@@ -111,11 +111,9 @@ React's client-side `encodeFormAction` callback converts a server reference into
 - [ ] Replace the `useActionState` stub in `packages/react/src/React.ml:878` with a real implementation that works with the form state protocol.
 - [ ] This enables progressive enhancement for stateful form actions (showing optimistic updates, handling errors).
 
-### Phase 6: Bound server references (optional, future)
+### Phase 6: Bound server references → moved to plan-12
 
-- [ ] Support `$ACTION_REF_` for bound server references (server functions with pre-filled arguments via `.bind()`).
-- [ ] This requires changes to `Runtime.server_function` to carry a `bound` field and to the PPX to support partial application of server functions.
-- [ ] The `action_to_json` function in `ReactServerDOM.ml:198` currently always emits `"bound": null`; this would need to emit the bound arguments when present.
+Moved to `tasks/plan-12-bound-server-references.md`. Includes `$ACTION_REF_` support, `encode_bound` on `Runtime.server_function`, and PPX changes for partial application.
 
 ## Design