Gentype: handle null/nullable/undefined from Stdlib (rescript-lang#7132)

* Gentype: handle null/nullable/undefined from Stdlib * CHANGELOG

Author: cknitt

CHANGELOG.md

@@ -21,6 +21,7 @@
 - Allow single newline in JSX. https://github.com/rescript-lang/rescript/pull/7269
 - Editor: Always complete from Core first. Use actual native regex syntax in code snippets for regexps. https://github.com/rescript-lang/rescript/pull/7295
 - Add `type t` to Stdlib modules. https://github.com/rescript-lang/rescript/pull/7302
+- Gentype: handle null/nullable/undefined from Stdlib. https://github.com/rescript-lang/rescript/pull/7132
 
 #### :bug: Bug fix
 

compiler/gentype/TranslateTypeExprFromTypes.ml

@@ -222,21 +222,26 @@ let translate_constr ~config ~params_translation ~(path : Path.t) ~type_env =
  {dependencies = []; type_ = EmitType.type_react_element}
  | (["FB"; "option"] | ["option"]), [param_translation] ->
  {param_translation with type_ = Option param_translation.type_}
- | ( (["Js"; "Undefined"; "t"] | ["Undefined"; "t"] | ["Js"; "undefined"]),
+ | ( ( ["Js"; "Undefined"; "t"]
+ | ["Undefined"; "t"]
+ | ["Js"; "undefined"]
+ | ["Stdlib"; "undefined"] ),
  [param_translation] ) ->
  {param_translation with type_ = Option param_translation.type_}
  | ( ( ["Js"; "Null"; "t"]
  | ["Null"; "t"]
  | ["Js"; "null"]
- | ["Stdlib"; "Null"; "t"] ),
+ | ["Stdlib"; "Null"; "t"]
+ | ["Stdlib"; "null"] ),
  [param_translation] ) ->
  {param_translation with type_ = Null param_translation.type_}
  | ( ( ["Js"; "Nullable"; "t"]
  | ["Nullable"; "t"]
  | ["Js"; "nullable"]
  | ["Js"; "Null_undefined"; "t"]
  | ["Js"; "null_undefined"]
- | ["Stdlib"; "Nullable"; "t"] ),
+ | ["Stdlib"; "Nullable"; "t"]
+ | ["Stdlib"; "nullable"] ),
  [param_translation] ) ->
  {param_translation with type_ = Nullable param_translation.type_}
  | ( ( ["Js"; "Promise"; "t"]

tests/gentype_tests/typescript-react-example/src/nested/Types.gen.tsx

@@ -47,6 +47,26 @@ export type nullOrString = (null | string);
 
 export type nullOrString2 = (null | string);
 
+export type nullOrString3 = (null | string);
+
+export type nullOrString4 = (null | string);
+
+export type nullableOrString = (null | undefined | string);
+
+export type nullableOrString2 = (null | undefined | string);
+
+export type nullableOrString3 = (null | undefined | string);
+
+export type nullableOrString4 = (null | undefined | string);
+
+export type undefinedOrString = (undefined | string);
+
+export type undefinedOrString2 = (undefined | string);
+
+export type undefinedOrString3 = (undefined | string);
+
+export type undefinedOrString4 = (undefined | string);
+
 export type record = { readonly i: number; readonly s: string };
 
 export type decorator<a,b> = (_1:a) => b;

tests/gentype_tests/typescript-react-example/src/nested/Types.res

@@ -64,9 +64,29 @@ type genTypeMispelled = int
 
 @genType let jsonStringify = Js.Json.stringify
 
-@genType type nullOrString = Js.Null.t<string>
+@genType type nullOrString = null<string>
 
-@genType type nullOrString2 = Js.null<string>
+@genType type nullOrString2 = Null.t<string>
+
+@genType type nullOrString3 = Js.null<string>
+
+@genType type nullOrString4 = Js.Null.t<string>
+
+@genType type nullableOrString = nullable<string>
+
+@genType type nullableOrString2 = Nullable.t<string>
+
+@genType type nullableOrString3 = Js.nullable<string>
+
+@genType type nullableOrString4 = Js.Nullable.t<string>
+
+@genType type undefinedOrString = undefined<string>
+
+@genType type undefinedOrString2 = Undefined.t<string>
+
+@genType type undefinedOrString3 = Js.undefined<string>
+
+@genType type undefinedOrString4 = Js.Undefined.t<string>
 
 type record = {
  i: int,