first round of clean up over Js.t

1. unsafe_downgrade is not needed

Author: bobzhang

jscomp/frontend/ast_comb.ml

@@ -62,14 +62,11 @@ let tuple_type_pair ?loc kind arity =
 
 
 
-let js_obj_type_id  = 
-  Ast_literal.Lid.js_obj 
+ 
 
 let re_id  = 
   Ast_literal.Lid.js_re_id 
 
-let to_js_type loc  x  = 
-  Typ.constr ~loc {txt = js_obj_type_id; loc} [x]
 
 let to_js_re_type loc  =
   Typ.constr ~loc { txt = re_id ; loc} []

jscomp/frontend/ast_comb.mli

@@ -40,10 +40,6 @@ val tuple_type_pair :
   [< `Make | `Run ] ->
   int -> Parsetree.core_type * Parsetree.core_type list * Parsetree.core_type
 
-val to_js_type :
-  Location.t -> Parsetree.core_type -> Parsetree.core_type
-
-
 
 val to_undefined_type :
   Location.t -> Parsetree.core_type -> Parsetree.core_type  

jscomp/frontend/ast_core_type.ml

@@ -116,7 +116,7 @@ let from_labels ~loc arity labels
     ((Ext_list.init arity (fun i ->
          Typ.var ~loc ("a" ^ string_of_int i)))) in
   let result_type =
-    Ast_comb.to_js_type loc
+    
       (Typ.object_ ~loc
          (Ext_list.map2 labels tyvars 
           (fun x y -> Parsetree.Otag (x ,[], y))) Closed)
@@ -128,7 +128,6 @@ let from_labels ~loc arity labels
 
 
 let make_obj ~loc xs =
-  Ast_comb.to_js_type loc
     (Typ.object_  ~loc xs Closed)
 
 

jscomp/frontend/ast_derive_js_mapper.ml

@@ -432,7 +432,6 @@ let init () =
                 | Ptype_record label_declarations ->            
 
                   let objType flag =                     
-                    Ast_comb.to_js_type loc @@  
                     Typ.object_
                       (Ext_list.map label_declarations
                          (fun {pld_name ; pld_type } -> 

jscomp/frontend/ast_literal.ml

@@ -57,7 +57,7 @@ module Lid = struct
       Ldot (js_oo , "Meth")
   let js_meth_callback : t =
       Ldot (js_oo, "Callback")
-  let js_obj : t = Ldot (Lident "Js", "t")
+
   let ignore_id : t = Ldot (Lident "Pervasives", "ignore")
   let hidden_field n : t = Lident ("I" ^ n)
   let js_null  : t = Ldot (Lident "Js", "null")

jscomp/frontend/ast_literal.mli

@@ -40,7 +40,6 @@ module Lid : sig
   val js_oo : t
   val js_meth : t 
   val js_meth_callback : t 
-  val js_obj : t 
   val hidden_field : string -> t
   val ignore_id : t 
   val js_null : t 

jscomp/outcome_printer/tweaked_reason_oprint.cppo.ml

@@ -326,15 +326,6 @@ and print_simple_out_type ppf =
     fprintf ppf "@[<0>(%a)@ [%@this]@]" (print_out_type_1 ~uncurried:false) res
 
   (* also ReScript-specific. Turns Js.t({. foo: bar}) into {. "foo": bar} *)
-  | Otyp_constr (
-      (Oide_dot ((Oide_ident "Js"), "t")),
-      [Otyp_object (fields, rest)]
-    ) ->
-      let dot = match rest with
-        Some non_gen -> (if non_gen then "_" else "") ^ ".."
-      | None -> "."
-      in
-      fprintf ppf "@[<2>{%s %a}@]" dot (print_object_fields ~quote_fields:true) fields
 
   | Otyp_constr (id, tyl) ->
       pp_open_box ppf 0;