fix polymorphic type inference

Author: mununki

jscomp/others/jsxPPXReactSupportC.res

@@ -49,6 +49,4 @@ let createElementWithKey = (~key=?, component, props) =>
 let createElementVariadicWithKey = (~key=?, component, props, elements) =>
   createElementVariadic(component, addKeyProp(~key?, props), elements)
 
-external asyncComponent: ('props => promise<Jsx.element>) => Jsx.component<
-  'props,
-> = "%identity"
+external asyncComponent: promise<Jsx.element> => Jsx.element = "%identity"

jscomp/others/jsxPPXReactSupportU.res

@@ -51,6 +51,4 @@ let createElementWithKey = (~key=?, component, props) =>
 let createElementVariadicWithKey = (~key=?, component, props, elements) =>
   createElementVariadic(component, addKeyProp(~key?, props), elements)
 
-external asyncComponent: ('props => promise<Jsx.element>) => Jsx.component<
-  'props,
-> = "%identity"
+external asyncComponent: promise<Jsx.element> => Jsx.element = "%identity"

jscomp/syntax/src/reactjs_jsx_v4.ml

@@ -947,6 +947,9 @@ let mapBinding ~config ~emptyLoc ~pstr_loc ~fileName ~recFlag binding =
           (Pat.var @@ Location.mknoloc "props")
           (Typ.constr (Location.mknoloc @@ Lident "props") [Typ.any ()])
     in
+    let innerExpression =
+      React_jsx_common.async_component ~async:isAsync innerExpression
+    in
     let fullExpression =
       (* React component name should start with uppercase letter *)
       (* let make = { let \"App" = props => make(props); \"App" } *)
@@ -969,9 +972,6 @@ let mapBinding ~config ~emptyLoc ~pstr_loc ~fileName ~recFlag binding =
         |> Ast_uncurried.uncurriedFun ~loc:fullExpression.pexp_loc ~arity:1
       else fullExpression
     in
-    let fullExpression =
-      React_jsx_common.async_component ~async:isAsync fullExpression
-    in
     let fullExpression =
       match fullModuleName with
       | "" -> fullExpression

jscomp/syntax/tests/ppx/react/asyncAwait.res

@@ -1,7 +1,19 @@
 let f = a => Js.Promise.resolve(a + a)
 
-@react.component
-let make = async (~a) => {
-  let a = await f(a)
-  <div> {React.int(a)} </div>
+module C0 = {
+  @react.component
+  let make = async (~a) => {
+    let a = await f(a)
+    <div> {React.int(a)} </div>
+  }
 }
+
+module C1 = {
+  @react.component
+  let make = async (~status) => {
+    switch status {
+    | #on => React.string("on")
+    | #off => React.string("off")
+    }
+  }
+}

jscomp/syntax/tests/ppx/react/expected/asyncAwait.res.txt

@@ -1,12 +1,31 @@
 let f = a => Js.Promise.resolve(a + a)
-type props<'a> = {a: 'a}
 
-let make = async ({a, _}: props<_>) => {
-  let a = await f(a)
-  ReactDOM.jsx("div", {children: ?ReactDOM.someElement({React.int(a)})})
+module C0 = {
+  type props<'a> = {a: 'a}
+
+  let make = async ({a, _}: props<_>) => {
+    let a = await f(a)
+    ReactDOM.jsx("div", {children: ?ReactDOM.someElement({React.int(a)})})
+  }
+  let make = {
+    let \"AsyncAwait$C0" = (props: props<_>) => JsxPPXReactSupport.asyncComponent(make(props))
+
+    \"AsyncAwait$C0"
+  }
 }
-let make = {
-  let \"AsyncAwait" = JsxPPXReactSupport.asyncComponent((props: props<_>) => make(props))
 
-  \"AsyncAwait"
+module C1 = {
+  type props<'status> = {status: 'status}
+
+  let make = async ({status, _}: props<_>) => {
+    switch status {
+    | #on => React.string("on")
+    | #off => React.string("off")
+    }
+  }
+  let make = {
+    let \"AsyncAwait$C1" = (props: props<_>) => JsxPPXReactSupport.asyncComponent(make(props))
+
+    \"AsyncAwait$C1"
+  }
 }