2nd round clean up

- check Js_oo.unsafe_downgrade later

Author: bobzhang

jscomp/main/builtin_cmi_datasets.ml

@@ -24,7 +24,7 @@
 
 [@@@bs.config {flags = [|"-unboxed-types"|]}]
 (**/**)
-external unsafe_downgrade : 'a Js.t -> 'a = "#unsafe_downgrade"
+external unsafe_downgrade : 'a  -> 'a = "#unsafe_downgrade"
 external unsafe_to_method : 'a -> 'a = "#fn_method"
 (**/**)
 module Callback = struct

jscomp/others/js_OO.ml

@@ -26,7 +26,7 @@
 *)
 
 (** [empty ()] returns the empty object [\{\}] *)
-external empty : unit -> < .. > Js.t = "" [@@bs.obj]
+external empty : unit -> < .. >  = "" [@@bs.obj]
 
 (** [assign target source] copies properties from [source] to [target]
 
@@ -63,7 +63,7 @@ let _ = Js.log target
 
 @see <https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Object/assign> MDN
 *)
-external assign : < .. > Js.t -> < .. > Js.t -> < .. > Js.t = "Object.assign" [@@bs.val]
+external assign : < .. > -> < .. >  -> < .. >  = "Object.assign" [@@bs.val]
 
 (* TODO:
 
@@ -103,4 +103,4 @@ Put directly on Js?
 
 @see <https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Object/keys> MDN
 *)
-external keys : _ Js.t -> string array = "Object.keys" [@@bs.val]
+external keys : < .. >  -> string array = "Object.keys" [@@bs.val]

jscomp/others/js_obj.ml

@@ -50,7 +50,7 @@ type node_module = <
        loaded : bool;
        children : node_module array ;
        paths : string array;
-> Js.t
+> 
  (* WARN:
      its path name should not be changed
      see {!Ppx_entry}
@@ -61,7 +61,7 @@ type node_require = <
 
   resolve : string -> string [@bs]
   (* @raise exception   *)
-> Js.t
+> 
 (* WARN:
     its path name should not be changed
     see {!Ppx_entry}

jscomp/others/node.ml

@@ -45,5 +45,5 @@ external readAs : spawnResult ->
     status : int Js.null;
     signal : string Js.null ; 
     stdout : Node.string_buffer Js.null ;
-    stderr : Node.string_buffer Js.null > Js.t = 
+    stderr : Node.string_buffer Js.null >  = 
   "%identity"

jscomp/others/node_child_process.ml

@@ -25,5 +25,5 @@
 (** Node Module API *)
 
 external module_ :
-  < __cache : Node.node_module Js_dict.t  > Js.t
+  < __cache : Node.node_module Js_dict.t  > 
     = "module" [@@bs.val]

jscomp/others/node_module.ml

@@ -41,7 +41,7 @@ type pathObject =
     base : string ;
     name : string ;
     ext : string          
-  >   Js.t         
+  >   
 
 external format : pathObject -> string = "format" [@@bs.module "path"]
 

jscomp/others/node_path.ml

@@ -33,7 +33,7 @@ type t =
     disconnect : unit -> unit [@bs.meth];
     platform : string;
     env : string Js_dict.t; (* ocamldep sucks which can not map [Js.Dic.t] to [Js_dict.t]*)
-  >   Js.t
+  > 
 
 external process : t = "process" [@@bs.module]
 external argv : string array = "argv" [@@bs.module "process"]

jscomp/others/node_process.ml

@@ -32,7 +32,7 @@ type t =
     disconnect : unit -> unit [@bs.meth];
     platform : string;
     env : string Js_dict.t; (* ocamldep sucks which can not map [Js.Dic.t] to [Js_dict.t]*)
-  >   Js.t
+  >   
 (* FIXME : use record *)
 
 external process : t = "process" [@@bs.module] 

jscomp/others/node_process.mli

@@ -30,7 +30,7 @@ or [@@unboxed]. *)
 
 ;; h (object [@bs] method hi x y =x + y end )
 
-Error: This expression has type < hi : (int -> int -> int [@bs.meth]) > Js.t
+Error: This expression has type < hi : (int -> int -> int [@bs.meth]) > 
        but an expression was expected of type
-         < hi : (int -> int -> 'a [@bs]); .. > Js.t
+         < hi : (int -> int -> 'a [@bs]); .. > 
        Types for method hi are incompatible *)