Remove class_type_desc and class_signature.

Author: cristianoc

jscomp/ml/typedtree.ml

@@ -424,24 +424,12 @@ and extension_constructor_kind =
 
 and class_type =
     {
-     cltyp_desc: class_type_desc;
      cltyp_type: Types.class_type;
      cltyp_env: Env.t;
      cltyp_loc: Location.t;
      cltyp_attributes: attribute list;
     }
 
-and class_type_desc =
-    Tcty_constr of Path.t * Longident.t loc * core_type list
-  | Tcty_signature of class_signature
-  | Tcty_arrow of arg_label * core_type * class_type
-  | Tcty_open of override_flag * Path.t * Longident.t loc * Env.t * class_type
-
-and class_signature = {
-    csig_self: core_type;
-    csig_type: Types.class_signature;
-  }
-
 (* Auxiliary functions over the a.s.t. *)
 
 let iter_pattern_desc f = function

jscomp/ml/typedtree.mli

@@ -542,24 +542,12 @@ and extension_constructor_kind =
 
 and class_type =
     {
-     cltyp_desc: class_type_desc;
      cltyp_type: Types.class_type;
      cltyp_env: Env.t;
      cltyp_loc: Location.t;
      cltyp_attributes: attributes;
     }
 
-and class_type_desc =
-    Tcty_constr of Path.t * Longident.t loc * core_type list
-  | Tcty_signature of class_signature
-  | Tcty_arrow of arg_label * core_type * class_type
-  | Tcty_open of override_flag * Path.t * Longident.t loc * Env.t * class_type
-
-and class_signature = {
-    csig_self : core_type;
-    csig_type : Types.class_signature;
-  }
-
 (* Auxiliary functions over the a.s.t. *)
 
 val iter_pattern_desc: (pattern -> unit) -> pattern_desc -> unit

jscomp/ml/typedtreeIter.ml

@@ -37,7 +37,6 @@ module type IteratorArgument = sig
     val enter_module_type : module_type -> unit
     val enter_module_expr : module_expr -> unit
     val enter_with_constraint : with_constraint -> unit
-    val enter_class_signature : class_signature -> unit
 
     val enter_class_type : class_type -> unit
     val enter_core_type : core_type -> unit
@@ -57,7 +56,6 @@ module type IteratorArgument = sig
     val leave_module_type : module_type -> unit
     val leave_module_expr : module_expr -> unit
     val leave_with_constraint : with_constraint -> unit
-    val leave_class_signature : class_signature -> unit
 
     val leave_class_type : class_type -> unit
     val leave_core_type : core_type -> unit
@@ -492,7 +490,6 @@ module DefaultIteratorArgument = struct
       let enter_module_type _ = ()
       let enter_module_expr _ = ()
       let enter_with_constraint _ = ()
-      let enter_class_signature _ = ()
 
       let enter_class_type _ = ()
       let enter_core_type _ = ()
@@ -512,7 +509,6 @@ module DefaultIteratorArgument = struct
       let leave_module_type _ = ()
       let leave_module_expr _ = ()
       let leave_with_constraint _ = ()
-      let leave_class_signature _ = ()
 
       let leave_class_type _ = ()
       let leave_core_type _ = ()

jscomp/ml/typedtreeIter.mli

@@ -31,7 +31,6 @@ module type IteratorArgument = sig
     val enter_module_type : module_type -> unit
     val enter_module_expr : module_expr -> unit
     val enter_with_constraint : with_constraint -> unit
-    val enter_class_signature : class_signature -> unit
     val enter_class_type : class_type -> unit
     val enter_core_type : core_type -> unit
     val enter_structure_item : structure_item -> unit
@@ -50,7 +49,6 @@ module type IteratorArgument = sig
     val leave_module_type : module_type -> unit
     val leave_module_expr : module_expr -> unit
     val leave_with_constraint : with_constraint -> unit
-    val leave_class_signature : class_signature -> unit
     val leave_class_type : class_type -> unit
     val leave_core_type : core_type -> unit
     val leave_structure_item : structure_item -> unit

jscomp/ml/typedtreeMap.ml

@@ -32,7 +32,6 @@ module type MapArgument = sig
   val enter_module_type : module_type -> module_type
   val enter_module_expr : module_expr -> module_expr
   val enter_with_constraint : with_constraint -> with_constraint
-  val enter_class_signature : class_signature -> class_signature
 
   val enter_class_type : class_type -> class_type
   val enter_core_type : core_type -> core_type
@@ -54,7 +53,6 @@ module type MapArgument = sig
   val leave_module_type : module_type -> module_type
   val leave_module_expr : module_expr -> module_expr
   val leave_with_constraint : with_constraint -> with_constraint
-  val leave_class_signature : class_signature -> class_signature
 
   val leave_class_type : class_type -> class_type
   val leave_core_type : core_type -> core_type
@@ -537,7 +535,6 @@ module DefaultMapArgument = struct
   let enter_module_type t = t
   let enter_module_expr t = t
   let enter_with_constraint t = t
-  let enter_class_signature t = t
 
   let enter_class_type t = t
   let enter_core_type t = t
@@ -558,7 +555,6 @@ module DefaultMapArgument = struct
   let leave_module_type t = t
   let leave_module_expr t = t
   let leave_with_constraint t = t
-  let leave_class_signature t = t
 
   let leave_class_type t = t
   let leave_core_type t = t

jscomp/ml/typedtreeMap.mli

@@ -32,7 +32,6 @@ module type MapArgument = sig
   val enter_module_type : module_type -> module_type
   val enter_module_expr : module_expr -> module_expr
   val enter_with_constraint : with_constraint -> with_constraint
-  val enter_class_signature : class_signature -> class_signature
   val enter_class_type : class_type -> class_type
   val enter_core_type : core_type -> core_type
   val enter_structure_item : structure_item -> structure_item
@@ -53,7 +52,6 @@ module type MapArgument = sig
   val leave_module_type : module_type -> module_type
   val leave_module_expr : module_expr -> module_expr
   val leave_with_constraint : with_constraint -> with_constraint
-  val leave_class_signature : class_signature -> class_signature
   val leave_class_type : class_type -> class_type
   val leave_core_type : core_type -> core_type
   val leave_structure_item : structure_item -> structure_item