WIP

rescript-lang · Jun 27, 2016 · ba8ed35 · ba8ed35
1 parent a1aa145
commit ba8ed35
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 0 deletions.
diff --git a/jscomp/syntax/ast_comb.ml b/jscomp/syntax/ast_comb.ml
@@ -95,3 +95,22 @@ let tuple_type_pair ?loc kind arity =
 
 
 
+let obj_type_pair ?loc arity = 
+  let obj = Typ.var ?loc "obj" in 
+  let prefix  = "a" in
+  if arity = 0 then 
+    let ty = Typ.var ?loc ( prefix ^ "0") in 
+    (Typ.arrow "" ?loc
+       obj
+       ty ,
+     (obj, ty))
+  else
+    let tys = Ext_list.init (arity + 1) (fun i -> 
+        Typ.var ?loc (prefix ^ string_of_int i)
+      )  in
+    (Typ.arrow "" ?loc obj 
+       (Ext_list.reduce_from_right (fun x y -> Typ.arrow "" ?loc x y) tys),
+     (obj, Typ.tuple ?loc  tys))
+
+
+
diff --git a/jscomp/syntax/ast_comb.mli b/jscomp/syntax/ast_comb.mli
@@ -60,3 +60,8 @@ val tuple_type_pair :
   [`Make | `Run ] -> 
   int  ->
   Parsetree.core_type * Parsetree.core_type
+
+
+val obj_type_pair : 
+  ?loc:Ast_helper.loc ->
+  int -> Parsetree.core_type * (Parsetree.core_type * Parsetree.core_type)