Test: run genType test project with V4.

jscomp/gentype/EmitJs.ml

@@ -124,9 +124,9 @@ let emitExportFromTypeDeclarations ~config ~emitters ~env ~typeGetNormalized
            ~typeNameIsInterface)
        (env, emitters)
 
-let rec emitCodeItem ~config ~emitters ~moduleItemsEmitter ~env ~fileName
-    ~outputFileRelative ~resolver ~typeGetConverter ~typeGetNormalized
-    ~typeNameIsInterface ~variantTables codeItem =
+let emitCodeItem ~config ~emitters ~moduleItemsEmitter ~env ~fileName
+    ~outputFileRelative ~resolver ~typeGetConverter ~inlineOneLevel
+    ~typeGetNormalized ~typeNameIsInterface ~variantTables codeItem =
   if !Debug.codeItems then
     Log_.item "Code Item: %s\n"
       (codeItem |> codeItemToString ~config ~typeNameIsInterface);
@@ -162,6 +162,7 @@ let rec emitCodeItem ~config ~emitters ~moduleItemsEmitter ~env ~fileName
                retType;
              } as function_)
           when retType |> EmitType.isTypeFunctionComponent ~fields ->
+            (* JSX V3 *)
             let componentName =
               match importFile with "." | ".." -> None | _ -> Some importFile
             in
@@ -182,6 +183,41 @@ let rec emitCodeItem ~config ~emitters ~moduleItemsEmitter ~env ~fileName
               }
             in
             Function { function_ with componentName }
+        | Function
+            ({
+               argTypes = [ { aType = Ident { name } as propsType; aName } ];
+               retType;
+             } as function_)
+          when Filename.check_suffix name "props"
+               && retType |> EmitType.isTypeFunctionComponent ~fields:[] -> (
+            match inlineOneLevel propsType with
+            | Object (closedFlags, fields) ->
+                (* JSX V3 *)
+                let componentName =
+                  match importFile with
+                  | "." | ".." -> None
+                  | _ -> Some importFile
+                in
+                let fields =
+                  Ext_list.filter_map fields (fun (field : field) ->
+                      match field.nameJS with
+                      | "children"
+                        when field.type_ |> EmitType.isTypeReactElement ->
+                          Some { field with type_ = EmitType.typeReactChild }
+                      | "key" ->
+                          (* Filter out key, which is added to the props type definition in V4 *)
+                          None
+                      | _ -> Some field)
+                in
+                let function_ =
+                  {
+                    function_ with
+                    argTypes =
+                      [ { aType = Object (closedFlags, fields); aName } ];
+                  }
+                in
+                Function { function_ with componentName }
+            | _ -> type_)
         | _ -> type_
       in
       let converter = type_ |> typeGetConverter in
@@ -249,6 +285,23 @@ let rec emitCodeItem ~config ~emitters ~moduleItemsEmitter ~env ~fileName
           typeVars : string list;
         }
       end in
+      let getHookName () =
+        let chopSuffix suffix =
+          match resolvedNameStr = suffix with
+          | true -> ""
+          | false -> (
+              match Filename.check_suffix resolvedNameStr ("_" ^ suffix) with
+              | true -> Filename.chop_suffix resolvedNameStr ("_" ^ suffix)
+              | false -> resolvedNameStr)
+        in
+        let suffix =
+          if originalName = default then chopSuffix default
+          else if originalName = make then chopSuffix make
+          else resolvedNameStr
+        in
+        (fileName |> ModuleName.toString)
+        ^ match suffix = "" with true -> suffix | false -> "_" ^ suffix
+      in
       let type_, hookType =
         match type_ with
         | Function
@@ -258,6 +311,7 @@ let rec emitCodeItem ~config ~emitters ~moduleItemsEmitter ~env ~fileName
                typeVars;
              } as function_)
           when retType |> EmitType.isTypeFunctionComponent ~fields ->
+            (* JSX V3 *)
             let propsType =
               let fields =
                 fields
@@ -277,25 +331,6 @@ let rec emitCodeItem ~config ~emitters ~moduleItemsEmitter ~env ~fileName
                 argTypes = [ { aName = ""; aType = propsType } ];
               }
             in
-            let chopSuffix suffix =
-              match resolvedNameStr = suffix with
-              | true -> ""
-              | false -> (
-                  match
-                    Filename.check_suffix resolvedNameStr ("_" ^ suffix)
-                  with
-                  | true -> Filename.chop_suffix resolvedNameStr ("_" ^ suffix)
-                  | false -> resolvedNameStr)
-            in
-            let suffix =
-              if originalName = default then chopSuffix default
-              else if originalName = make then chopSuffix make
-              else resolvedNameStr
-            in
-            let hookName =
-              (fileName |> ModuleName.toString)
-              ^ match suffix = "" with true -> suffix | false -> "_" ^ suffix
-            in
             let resolvedTypeName =
               if
                 (not config.emitTypePropDone)
@@ -305,8 +340,43 @@ let rec emitCodeItem ~config ~emitters ~moduleItemsEmitter ~env ~fileName
                 ResolvedName.fromString "Props")
               else ResolvedName.fromString name |> ResolvedName.dot "Props"
             in
-            ( Function { function_ with componentName = Some hookName },
+            ( Function { function_ with componentName = Some (getHookName ()) },
               Some { HookType.propsType; resolvedTypeName; typeVars } )
+        | Function
+            ({ argTypes = [ { aType = Ident { name } as propsType } ]; retType }
+            as function_)
+          when Filename.check_suffix name "props"
+               && retType |> EmitType.isTypeFunctionComponent ~fields:[] ->
+            let compType =
+              match inlineOneLevel propsType with
+              | Object (closedFlags, fields) ->
+                  (* JSX V4 *)
+                  let propsType =
+                    let fields =
+                      Ext_list.filter_map fields (fun (field : field) ->
+                          match field.nameJS with
+                          | "children"
+                            when field.type_ |> EmitType.isTypeReactElement ->
+                              Some
+                                { field with type_ = EmitType.typeReactChild }
+                          | "key" ->
+                              (* Filter out key, which is added to the props type definition in V4 *)
+                              None
+                          | _ -> Some field)
+                    in
+                    Object (closedFlags, fields)
+                  in
+                  let function_ =
+                    {
+                      function_ with
+                      argTypes = [ { aName = ""; aType = propsType } ];
+                    }
+                  in
+                  Function
+                    { function_ with componentName = Some (getHookName ()) }
+              | _ -> type_
+            in
+            (compType, None)
         | _ -> (type_, None)
       in
 
@@ -349,15 +419,15 @@ let rec emitCodeItem ~config ~emitters ~moduleItemsEmitter ~env ~fileName
       in
       (envWithRequires, emitters)
 
-and emitCodeItems ~config ~outputFileRelative ~emitters ~moduleItemsEmitter ~env
-    ~fileName ~resolver ~typeNameIsInterface ~typeGetConverter
+let emitCodeItems ~config ~outputFileRelative ~emitters ~moduleItemsEmitter ~env
+    ~fileName ~resolver ~typeNameIsInterface ~typeGetConverter ~inlineOneLevel
     ~typeGetNormalized ~variantTables codeItems =
   codeItems
   |> List.fold_left
        (fun (env, emitters) ->
          emitCodeItem ~config ~emitters ~moduleItemsEmitter ~env ~fileName
-           ~outputFileRelative ~resolver ~typeGetConverter ~typeGetNormalized
-           ~typeNameIsInterface ~variantTables)
+           ~outputFileRelative ~resolver ~typeGetConverter ~inlineOneLevel
+           ~typeGetNormalized ~typeNameIsInterface ~variantTables)
        (env, emitters)
 
 let emitRequires ~importedValueOrComponent ~early ~config ~requires emitters =
@@ -627,12 +697,12 @@ let emitTranslationAsString ~config ~fileName ~inputCmtTranslateTypeDeclarations
     try exportTypeMap |> StringMap.find s
     with Not_found -> env.exportTypeMapFromOtherFiles |> StringMap.find s
   in
-  let typeGetNormalized_ ~env type_ =
+  let typeGetNormalized__ ~inline ~env type_ =
     type_
-    |> Converter.typeGetNormalized ~config ~inline:false
-         ~lookupId:(lookupId_ ~env)
+    |> Converter.typeGetNormalized ~config ~inline ~lookupId:(lookupId_ ~env)
          ~typeNameIsInterface:(typeNameIsInterface ~env)
   in
+  let typeGetNormalized_ = typeGetNormalized__ ~inline:false in
   let typeGetConverter_ ~env type_ =
     type_
     |> Converter.typeGetConverter ~config ~lookupId:(lookupId_ ~env)
@@ -654,10 +724,29 @@ let emitTranslationAsString ~config ~fileName ~inputCmtTranslateTypeDeclarations
          ~typeGetNormalized:(typeGetNormalized_ ~env) ~env
          ~typeNameIsInterface:(typeNameIsInterface ~env)
   in
+  let inlineOneLevel type_ =
+    match type_ with
+    | Ident { builtin = false; name; typeArgs } -> (
+        match name |> lookupId_ ~env with
+        | { type_; typeVars } ->
+            let pairs =
+              try List.combine typeVars typeArgs with Invalid_argument _ -> []
+            in
+            let f typeVar =
+              match
+                pairs |> List.find (fun (typeVar1, _) -> typeVar = typeVar1)
+              with
+              | _, typeArgument -> Some typeArgument
+              | exception Not_found -> None
+            in
+            type_ |> TypeVars.substitute ~f
+        | exception Not_found -> type_)
+    | _ -> type_
+  in
   let env, emitters =
     translation.codeItems
     |> emitCodeItems ~config ~emitters ~moduleItemsEmitter ~env ~fileName
-         ~outputFileRelative ~resolver
+         ~outputFileRelative ~resolver ~inlineOneLevel
          ~typeGetNormalized:(typeGetNormalized_ ~env)
          ~typeGetConverter:(typeGetConverter_ ~env)
          ~typeNameIsInterface:(typeNameIsInterface ~env) ~variantTables

jscomp/gentype_tests/typescript-react-example/bsconfig.json

@@ -16,7 +16,7 @@
   },
   "name": "sample-typescript-app",
   "bsc-flags": ["-bs-super-errors"],
-  "jsx": { "version": 3 },
+  "jsx": { "version": 4 },
   "bs-dependencies": ["@rescript/react"],
   "sources": [
     {

jscomp/gentype_tests/typescript-react-example/src/ExportWithRename.gen.tsx

@@ -2,13 +2,11 @@
 /* eslint-disable import/first */
 
 
-import * as React from 'react';
-
 // @ts-ignore: Implicit any on import
 import * as ExportWithRenameBS__Es6Import from './ExportWithRename.bs';
 const ExportWithRenameBS: any = ExportWithRenameBS__Es6Import;
 
 // tslint:disable-next-line:interface-over-type-literal
-export type Props = { readonly s: string };
+export type props<s> = { readonly key?: string; readonly s: s };
 
 export const ExportWithRename: React.ComponentType<{ readonly s: string }> = ExportWithRenameBS.make;