Translate char to number in genType

changes/gentype-char-number.fix.md

@@ -0,0 +1 @@
+- genType emits `char` as the TypeScript type `number` instead of `char`, which TypeScript does not know.

compiler/gentype/translate_type_expr_from_types.ml

@@ -67,7 +67,7 @@ let translate_constr ~config ~params_translation ~(path : Path.t) ~type_env =
   in
   match (path |> path_to_list |> List.rev, params_translation) with
   | ["bool"], [] -> {dependencies = []; type_ = boolean_t}
-  | ["int"], [] -> {dependencies = []; type_ = number_t}
+  | (["int"] | ["char"]), [] -> {dependencies = []; type_ = number_t}
   | ["float"], [] -> {dependencies = []; type_ = number_t}
   | (["string"] | ["Stdlib"; "String"; "t"]), [] ->
     {dependencies = []; type_ = string_t}

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

@@ -51,6 +51,8 @@ export const taggedTemplate1: (x:((strings:TemplateStringsArray, ...values:strin
 
 export const date1: (x:Date) => Date = CoreJS.date1 as any;
 
+export const char0: (x:number) => number = CoreJS.char0 as any;
+
 export const bigint0: (x:bigint) => bigint = CoreJS.bigint0 as any;
 
 export const stdlibBigInt: (x:bigint) => bigint = CoreJS.stdlibBigInt as any;

tests/gentype_tests/typescript-react-example/src/Core.res

@@ -34,6 +34,9 @@ let taggedTemplate1 = (x: TaggedTemplate.t<string, string>) => x
 @genType
 let date1 = (x: Date.t) => x
 
+@genType
+let char0 = (x: char) => x
+
 @genType
 let bigint0 = (x: bigint) => x