Remove class_signature from types.

Author: cristianoc

jscomp/ml/btype.ml

@@ -500,9 +500,6 @@ let unmark_extension_constructor ext =
   iter_type_expr_cstr_args unmark_type ext.ext_args;
   Misc.may unmark_type ext.ext_ret_type
 
-let unmark_class_signature sign =
-  unmark_type sign.csig_self;
-  Vars.iter (fun _l (_m, _v, t) -> unmark_type t) sign.csig_vars
 
 
                   (*******************************************)

jscomp/ml/btype.mli

@@ -142,8 +142,6 @@ val mark_type_params: type_expr -> unit
 val unmark_type: type_expr -> unit
 val unmark_type_decl: type_declaration -> unit
 val unmark_extension_constructor: extension_constructor -> unit
-val unmark_class_signature: class_signature -> unit
-        (* Remove marks from a type *)
 
 (**** Memorization of abbreviation expansion ****)
 

jscomp/ml/ctype.ml

@@ -531,34 +531,6 @@ type closed_class_failure =
     CC_Method of type_expr * bool * string * type_expr
   | CC_Value of type_expr * bool * string * type_expr
 
-exception CCFailure of closed_class_failure
-
-let closed_class params sign =
-  let ty = object_fields (repr sign.csig_self) in
-  let (fields, rest) = flatten_fields ty in
-  List.iter mark_type params;
-  mark_type rest;
-  List.iter
-    (fun (lab, _, ty) -> if lab = dummy_method then mark_type ty)
-    fields;
-  try
-    mark_type_node (repr sign.csig_self);
-    List.iter
-      (fun (lab, kind, ty) ->
-        if field_kind_repr kind = Fpresent then
-        try closed_type ty with Non_closed (ty0, real) ->
-          raise (CCFailure (CC_Method (ty0, real, lab, ty))))
-      fields;
-    mark_type_params (repr sign.csig_self);
-    List.iter unmark_type params;
-    unmark_class_signature sign;
-    None
-  with CCFailure reason ->
-    mark_type_params (repr sign.csig_self);
-    List.iter unmark_type params;
-    unmark_class_signature sign;
-    Some reason
-
 
                             (**********************)
                             (*  Type duplication  *)

jscomp/ml/ctype.mli

@@ -247,9 +247,6 @@ val closed_extension_constructor: extension_constructor -> type_expr option
 type closed_class_failure =
     CC_Method of type_expr * bool * string * type_expr
   | CC_Value of type_expr * bool * string * type_expr
-val closed_class:
-        type_expr list -> class_signature -> closed_class_failure option
-        (* Check whether all type variables are bound *)
 
 val unalias: type_expr -> type_expr
 val arity: type_expr -> int

jscomp/ml/subst.ml

@@ -309,16 +309,6 @@ let type_declaration s decl =
   cleanup_types ();
   decl
 
-let class_signature s sign =
-  { csig_self = typexp s sign.csig_self;
-    csig_vars =
-      Vars.map (function (m, v, t) -> (m, v, typexp s t)) sign.csig_vars;
-    csig_concr = sign.csig_concr;
-    csig_inher =
-      List.map (fun (p, tl) -> (type_path s p, List.map (typexp s) tl))
-        sign.csig_inher;
-  }
-
 
 let value_description s descr =
   { val_type = type_expr s descr.val_type;

jscomp/ml/subst.mli

@@ -57,7 +57,6 @@ val signature: t -> signature -> signature
 val modtype_declaration: t -> modtype_declaration -> modtype_declaration
 val module_declaration: t -> module_declaration -> module_declaration
 val typexp : t -> Types.type_expr -> Types.type_expr
-val class_signature: t -> class_signature -> class_signature
 
 (* Composition of substitutions:
      apply (compose s1 s2) x = apply s2 (apply s1 x) *)

jscomp/ml/types.ml

@@ -211,13 +211,6 @@ module Concr = Set.Make(OrderedString)
 
 type class_type
 
-and class_signature =
-  { csig_self: type_expr;
-    csig_vars:
-      (Asttypes.mutable_flag * Asttypes.virtual_flag * type_expr) Vars.t;
-    csig_concr: Concr.t;
-    csig_inher: (Path.t * type_expr list) list }
-
 (* Type expressions for the module language *)
 
 type module_type =

jscomp/ml/types.mli

@@ -362,13 +362,6 @@ and type_transparence =
 module Concr : Set.S with type elt = string
 
 type class_type
-and class_signature =
-  { csig_self: type_expr;
-    csig_vars:
-      (Asttypes.mutable_flag * Asttypes.virtual_flag * type_expr) Vars.t;
-    csig_concr: Concr.t;
-    csig_inher: (Path.t * type_expr list) list }
-
 
 (* Type expressions for the module language *)