Fix issue with gentype and stdlib json.

Fixes #7157

Author: cristianoc

Diff for: CHANGELOG.md

@@ -27,6 +27,7 @@
 - Fix `Error.fromException`. https://github.com/rescript-lang/rescript/pull/7364
 - Fix signature of `throw`. https://github.com/rescript-lang/rescript/pull/7365
 - Fix formatter adds superfluous parens in pipe chain. https://github.com/rescript-lang/rescript/pull/7370
+- Fix issue wiht gentype and stdlib json. https://github.com/rescript-lang/rescript/pull/7378
 
 #### :house: Internal
 

Diff for: compiler/gentype/TranslateTypeExprFromTypes.ml

@@ -8,9 +8,6 @@ let rec remove_option ~(label : Asttypes.Noloc.arg_label)
   | Tconstr (Path.Pident id, [t], _), Optional lbl when Ident.name id = "option"
     ->
     Some (lbl, t)
-  | Tconstr (Pdot (Path.Pident name_space, id, _), [t], _), Optional lbl
-    when Ident.name name_space = "FB" && id = "option" ->
-    Some (lbl, t)
   | Tlink t, _ -> t |> remove_option ~label
   | _ -> None
 
@@ -75,11 +72,10 @@ let translate_constr ~config ~params_translation ~(path : Path.t) ~type_env =
       }
   in
   match (path |> path_to_list |> List.rev, params_translation) with
-  | (["FB"; "bool"] | ["bool"]), [] -> {dependencies = []; type_ = boolean_t}
-  | (["FB"; "int"] | ["int"]), [] -> {dependencies = []; type_ = number_t}
-  | (["FB"; "float"] | ["float"]), [] -> {dependencies = []; type_ = number_t}
-  | ( ( ["FB"; "string"]
-      | ["string"]
+  | ["bool"], [] -> {dependencies = []; type_ = boolean_t}
+  | ["int"], [] -> {dependencies = []; type_ = number_t}
+  | ["float"], [] -> {dependencies = []; type_ = number_t}
+  | ( ( ["string"]
       | ["String"; "t"]
       | ["Stdlib"; "String"; "t"]
       | ["Js"; ("String" | "String2"); "t"] ),
@@ -118,9 +114,8 @@ let translate_constr ~config ~params_translation ~(path : Path.t) ~type_env =
     }
   | (["Js"; "Re"; "t"] | ["RegExp"; "t"] | ["Stdlib"; "RegExp"; "t"]), [] ->
     {dependencies = []; type_ = regexp_t}
-  | (["FB"; "unit"] | ["unit"]), [] -> {dependencies = []; type_ = unit_t}
-  | ( (["FB"; "array"] | ["array"] | ["Js"; ("Array" | "Array2"); "t"]),
-      [param_translation] ) ->
+  | ["unit"], [] -> {dependencies = []; type_ = unit_t}
+  | (["array"] | ["Js"; ("Array" | "Array2"); "t"]), [param_translation] ->
     {param_translation with type_ = Array (param_translation.type_, Mutable)}
   | ["ImmutableArray"; "t"], [param_translation] ->
     {param_translation with type_ = Array (param_translation.type_, Immutable)}
@@ -220,7 +215,7 @@ let translate_constr ~config ~params_translation ~(path : Path.t) ~type_env =
       | ["Jsx"; "element"] ),
       [] ) ->
     {dependencies = []; type_ = EmitType.type_react_element}
-  | (["FB"; "option"] | ["option"]), [param_translation] ->
+  | ["option"], [param_translation] ->
     {param_translation with type_ = Option param_translation.type_}
   | ( ( ["Js"; "Undefined"; "t"]
       | ["Undefined"; "t"]
@@ -253,6 +248,7 @@ let translate_constr ~config ~params_translation ~(path : Path.t) ~type_env =
   | ( (["Js"; "Dict"; "t"] | ["Dict"; "t"] | ["dict"] | ["Stdlib"; "Dict"; "t"]),
       [param_translation] ) ->
     {param_translation with type_ = Dict param_translation.type_}
+  | ["Stdlib_JSON"; "t"], [] -> {dependencies = []; type_ = unknown}
   | _ -> default_case ()
 
 type process_variant = {

Diff for: tests/gentype_tests/typescript-react-example/src/Core.gen.tsx

@@ -68,3 +68,5 @@ export const weakset1: (x:WeakSet<number[]>) => WeakSet<number[]> = CoreJS.weaks
 export const option0: (x:(undefined | string)) => (undefined | string) = CoreJS.option0 as any;
 
 export const option1: (x:(undefined | variant)) => (undefined | variant) = CoreJS.option1 as any;
+
+export const jsonEncodeString: unknown = CoreJS.jsonEncodeString as any;

Diff for: tests/gentype_tests/typescript-react-example/src/Core.res

@@ -83,3 +83,6 @@ external someFunWithNullUndefinedArg: (
   Nullable.t<string> /* Can also be Null.t or option as they are subtypes */,
   int,
 ) => string = "someFunWithNullUndefinedArg"
+
+@genType
+let jsonEncodeString = JSON.Encode.string("hello")