Support Set and WeakSet.

Author: cristianoc

jscomp/gentype/GenTypeCommon.ml

@@ -220,9 +220,11 @@ let dateT = ident "Date"
 let mapT (x,y) = ident ~typeArgs:[x;y] "Map"
 let numberT = ident "number"
 let regexpT = ident "RegExp"
+let setT (x) = ident ~typeArgs:[x] "Set"
 let stringT = ident "string"
 let unitT = ident "void"
 let weakmapT (x,y) = ident ~typeArgs:[x;y] "WeakMap"
+let weaksetT (x) = ident ~typeArgs:[x] "WeakSet"
 let int64T = Tuple [numberT; numberT]
 
 module NodeFilename = struct

jscomp/gentype/TranslateTypeExprFromTypes.ml

@@ -96,6 +96,16 @@ let translateConstr ~config ~paramsTranslation ~(path : Path.t) ~typeEnv =
         paramTranslation1.dependencies @ paramTranslation2.dependencies;
       type_ = weakmapT (paramTranslation1.type_, paramTranslation2.type_);
     }
+  | ["Set"; "t"], [paramTranslation] ->
+    {
+      dependencies = paramTranslation.dependencies;
+      type_ = setT paramTranslation.type_;
+    }
+  | ["WeakSet"; "t"], [paramTranslation] ->
+    {
+      dependencies = paramTranslation.dependencies;
+      type_ = weaksetT paramTranslation.type_;
+    }
   | (["Js"; "Re"; "t"] | ["RegExp"; "t"]), [] ->
     {dependencies = []; type_ = regexpT}
   | (["FB"; "unit"] | ["unit"]), [] -> {dependencies = []; type_ = unitT}

jscomp/gentype_tests/typescript-react-example/src/Core.bs.js

@@ -47,3 +47,7 @@ export const regexp1: (x:RegExp) => RegExp = CoreBS.regexp1;
 export const map1: (x:Map<string,number>) => Map<string,number> = CoreBS.map1;
 
 export const weakmap1: (x:WeakMap<number[],number>) => WeakMap<number[],number> = CoreBS.weakmap1;
+
+export const set1: (x:Set<string>) => Set<string> = CoreBS.set1;
+
+export const weakset1: (x:WeakSet<number[]>) => WeakSet<number[]> = CoreBS.weakset1;

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

@@ -47,9 +47,16 @@ let regexp0 = (x: Js.Re.t) => x
 let regexp1 = (x: RegExp.t) => x
 
 module Map = Map_
+module Set = Set_
 
 @genType
 let map1 = (x: Map.t<string, int>) => x
 
 @genType
 let weakmap1 = (x: WeakMap.t<array<int>, int>) => x
+
+@genType
+let set1 = (x: Set.t<string>) => x
+
+@genType
+let weakset1 = (x: WeakSet.t<array<int>>) => x

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

@@ -0,0 +1 @@
+type t<'a>

jscomp/gentype_tests/typescript-react-example/src/Set_.bs.js

@@ -0,0 +1 @@
+type t<'a>