In GenType only export types (not values) from module types.

Author: cristianoc

CHANGELOG.md

@@ -19,6 +19,7 @@
 
 - Fix accidental removal of `Belt.Result.Ok` and `Belt.Result.Error` constructors in rc.5 https://github.com/rescript-lang/rescript-compiler/pull/6514
 - Add missing check that the runtime representation of variants matches implementation and interface. https://github.com/rescript-lang/rescript-compiler/pull/6513/files
+- GenType: only export types (not values) from module types. https://github.com/rescript-lang/rescript-compiler/pull/6516
 
 # 11.0.0-rc.7
 

jscomp/gentype/TranslateSignature.ml

@@ -61,8 +61,18 @@ and translateModuleTypeDeclaration ~config ~outputFileRelative ~resolver
     match mtd_type.mty_desc with
     | Tmty_signature signature ->
       let name = mtd_id |> Ident.name in
+      (* Only translate types *)
+      let signature_without_values =
+        {
+          signature with
+          sig_items =
+            Ext_list.filter signature.sig_items (function
+              | {sig_desc = Tsig_value _} -> false
+              | _ -> true);
+        }
+      in
       let translation =
-        signature
+        signature_without_values
         |> translateSignature ~config ~outputFileRelative ~resolver
              ~typeEnv:(typeEnv |> TypeEnv.newModuleType ~name ~signature)
         |> Translation.combine

jscomp/gentype_tests/typescript-react-example/package-lock.json

@@ -3,13 +3,6 @@
 /* eslint-disable */
 /* tslint:disable */
 
-import * as FirstClassModulesInterfaceBS__Es6Import from './FirstClassModulesInterface.bs';
-const FirstClassModulesInterfaceBS: any = FirstClassModulesInterfaceBS__Es6Import;
-
 export type record = { readonly x: number; readonly y: string };
 
 export type firstClassModule = { readonly x: number };
-
-export const MT_x: number = FirstClassModulesInterfaceBS.MT.x;
-
-export const MT: { x: number } = FirstClassModulesInterfaceBS.MT