dce subst

Author: cristianoc

compiler/ml/subst.ml

@@ -389,26 +389,3 @@ and modtype_declaration s decl =
 
 (* For every binding k |-> d of m1, add k |-> f d to m2
    and return resulting merged map. *)
-
-let merge_tbls f m1 m2 = Tbl.fold (fun k d accu -> Tbl.add k (f d) accu) m1 m2
-
-let merge_path_maps f m1 m2 =
-  PathMap.fold (fun k d accu -> PathMap.add k (f d) accu) m1 m2
-
-let type_replacement s = function
-  | Path p -> Path (type_path s p)
-  | Type_function {params; body} ->
-    let params = List.map (typexp s) params in
-    let body = typexp s body in
-    Type_function {params; body}
-
-(* Composition of substitutions:
-     apply (compose s1 s2) x = apply s2 (apply s1 x) *)
-
-let compose s1 s2 =
-  {
-    types = merge_path_maps (type_replacement s2) s1.types s2.types;
-    modules = merge_path_maps (module_path s2) s1.modules s2.modules;
-    modtypes = merge_tbls (modtype s2) s1.modtypes s2.modtypes;
-    for_saving = s1.for_saving || s2.for_saving;
-  }

compiler/ml/subst.mli

@@ -57,10 +57,6 @@ 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
 
-(* Composition of substitutions:
-     apply (compose s1 s2) x = apply s2 (apply s1 x) *)
-val compose : t -> t -> t
-
 (* A forward reference to be filled in ctype.ml. *)
 val ctype_apply_env_empty :
   (type_expr list -> type_expr -> type_expr list -> type_expr) ref