Remove class_infos and resulting dead code.

Author: cristianoc

jscomp/ml/ast_helper.ml

@@ -369,21 +369,6 @@ module Vb = struct
     }
 end
 
-module Ci = struct
-  let mk ?(loc = !default_loc) ?(attrs = [])
-        ?(docs = empty_docs) ?(text = [])
-        ?(virt = Concrete) ?(params = []) name expr =
-    {
-     pci_virt = virt;
-     pci_params = params;
-     pci_name = name;
-     pci_expr = expr;
-     pci_attributes =
-       add_text_attrs text (add_docs_attrs docs attrs);
-     pci_loc = loc;
-    }
-end
-
 module Type = struct
   let mk ?(loc = !default_loc) ?(attrs = [])
         ?(docs = empty_docs) ?(text = [])

jscomp/ml/ast_helper.mli

@@ -349,11 +349,3 @@ module Cty:
     val open_: ?loc:loc -> ?attrs:attrs -> override_flag -> lid -> class_type
                -> class_type
   end
-
-(** Classes *)
-module Ci:
-  sig
-    val mk: ?loc:loc -> ?attrs:attrs -> ?docs:docs -> ?text:text ->
-      ?virt:virtual_flag -> ?params:(core_type * variance) list ->
-      str -> 'a -> 'a class_infos
-  end

jscomp/ml/parser.ml

@@ -7603,9 +7603,8 @@ let yyact = [|
     let _9 = (Parsing.peek_val __caml_parser_env 0 : 'post_item_attributes) in
     Obj.repr(
 # 1035 "ml/parser.mly"
-      ( let (ext, attrs) = _3 in
-        Ci.mk (mkrhs _6 6) _8 ~virt:_4 ~params:_5 ~attrs:(attrs@_9)
-            ~loc:(symbol_rloc ()) ~docs:(symbol_docs ())
+      ( let (ext, _attrs) = _3 in
+        assert false
       , ext)
 # 7615 "ml/parser.ml"
                : 'class_type_declaration))
@@ -7618,9 +7617,7 @@ let yyact = [|
     let _8 = (Parsing.peek_val __caml_parser_env 0 : 'post_item_attributes) in
     Obj.repr(
 # 1043 "ml/parser.mly"
-      ( Ci.mk (mkrhs _5 5) _7 ~virt:_3 ~params:_4
-         ~attrs:(_2@_8) ~loc:(symbol_rloc ())
-         ~text:(symbol_text ()) ~docs:(symbol_docs ()) )
+      ( assert false )
 # 7629 "ml/parser.ml"
                : 'and_class_type_declaration))
 ; (fun __caml_parser_env ->

jscomp/ml/parser.mly

@@ -1029,16 +1029,13 @@ class_type_declaration:
     CLASS TYPE ext_attributes virtual_flag class_type_parameters LIDENT EQUAL
     class_signature post_item_attributes
       { let (ext, attrs) = $3 in
-        Ci.mk (mkrhs $6 6) $8 ~virt:$4 ~params:$5 ~attrs:(attrs@$9)
-            ~loc:(symbol_rloc ()) ~docs:(symbol_docs ())
+        assert false
       , ext}
 ;
 and_class_type_declaration:
     AND attributes virtual_flag class_type_parameters LIDENT EQUAL
     class_signature post_item_attributes
-      { Ci.mk (mkrhs $5 5) $7 ~virt:$3 ~params:$4
-         ~attrs:($2@$8) ~loc:(symbol_rloc ())
-         ~text:(symbol_text ()) ~docs:(symbol_docs ()) }
+      { assert false }
 ;
 
 /* Core expressions */

jscomp/ml/parsetree.ml

@@ -508,22 +508,6 @@ and class_type_desc =
   | Pcty_open of override_flag * Longident.t loc * class_type
         (* let open M in CT *)
 
-and 'a class_infos =
-    {
-     pci_virt: virtual_flag;
-     pci_params: (core_type * variance) list;
-     pci_name: string loc;
-     pci_expr: 'a;
-     pci_loc: Location.t;
-     pci_attributes: attributes;  (* ... [@@id1] [@@id2] *)
-    }
-(* class c = ...
-   class ['a1,...,'an] c = ...
-   class virtual c = ...
-
-   Also used for "class type" declaration.
-*)
-
 (** {1 Module language} *)
 
 (* Type expressions for the module language *)