Merge pull request rescript-lang#5324 from rescript-lang/remove-unused-code

remove unused code

Author: bobzhang

jscomp/ml/cmi_format.ml

@@ -14,10 +14,9 @@
 (**************************************************************************)
 
 type pers_flags =
- | Rectypes
  | Deprecated of string
- | Opaque
- | Unsafe_string
+
+
 
 type error =
  Not_an_interface of string

jscomp/ml/cmi_format.mli

@@ -14,10 +14,9 @@
 (**************************************************************************)
 
 type pers_flags =
- | Rectypes
  | Deprecated of string
- | Opaque
- | Unsafe_string
+
+
 
 type cmi_infos = {
  cmi_name : string;

jscomp/ml/env.ml

@@ -61,7 +61,6 @@ type error =
  | Illegal_renaming of string * string * string
  | Inconsistent_import of string * string * string
  | Need_recursive_types of string * string
- | Depend_on_unsafe_string_unit of string * string
  | Missing_module of Location.t * Path.t * Path.t
  | Illegal_value_name of Location.t * string
 
@@ -659,15 +658,11 @@ let imported_units = ref StringSet.empty
 let add_import s =
  imported_units := StringSet.add s !imported_units
 
-let imported_opaque_units = ref StringSet.empty
-
-let add_imported_opaque s =
- imported_opaque_units := StringSet.add s !imported_opaque_units
 
 let clear_imports () =
  Consistbl.clear crc_units;
- imported_units := StringSet.empty;
- imported_opaque_units := StringSet.empty
+ imported_units := StringSet.empty
+
 
 let check_consistency ps =
  try
@@ -687,13 +682,6 @@ let check_consistency ps =
 let save_pers_struct crc ps =
  let modname = ps.ps_name in
  Hashtbl.add persistent_structures modname (Some ps);
- List.iter
- (function
- | Rectypes -> ()
- | Deprecated _ -> ()
- | Unsafe_string -> ()
- | Opaque -> add_imported_opaque modname)
- ps.ps_flags;
  Consistbl.set crc_units modname crc ps.ps_filename;
  add_import modname
 
@@ -715,7 +703,7 @@ let acknowledge_pers_struct check modname
  let crcs = cmi.cmi_crcs in
  let flags = cmi.cmi_flags in
  let deprecated =
- List.fold_left (fun acc -> function Deprecated s -> Some s | _ -> acc) None
+ List.fold_left (fun _ -> function Deprecated s -> Some s ) None
  flags
  in
  let comps =
@@ -733,16 +721,6 @@ let acknowledge_pers_struct check modname
  } in
  if ps.ps_name <> modname then
  error (Illegal_renaming(modname, ps.ps_name, filename));
-
- List.iter
- (function
- | Rectypes ->
- error (Need_recursive_types(ps.ps_name, !current_unit))
- | Unsafe_string ->
- error (Depend_on_unsafe_string_unit (ps.ps_name, !current_unit));
- | Deprecated _ -> ()
- | Opaque -> add_imported_opaque modname)
- ps.ps_flags;
  if check then check_consistency ps;
  Hashtbl.add persistent_structures modname (Some ps);
  ps
@@ -797,9 +775,6 @@ let check_pers_struct name =
  Format.sprintf
  "%s uses recursive types"
  name
- | Depend_on_unsafe_string_unit (name, _) ->
- Printf.sprintf "%s uses -unsafe-string"
- name
  | Missing_module _ -> assert false
  | Illegal_value_name _ -> assert false
  in
@@ -2122,9 +2097,6 @@ let imports () =
  (StringSet.fold 
  (fun m acc -> if m = x then acc else m::acc) 
  !imported_units []) crc_units
-(* Returns true if [s] is an opaque imported module *)
-let is_imported_opaque s =
- StringSet.mem s !imported_opaque_units
 
 (* Save a signature to a file *)
 
@@ -2317,11 +2289,6 @@ let report_error ppf = function
  fprintf ppf
  "@[<hov>Unit %s imports from %s, which uses recursive types.@ %s@]"
  export import "The compilation flag -rectypes is required"
- | Depend_on_unsafe_string_unit(import, export) ->
- fprintf ppf
- "@[<hov>Unit %s imports from %s, compiled with -unsafe-string.@ %s@]"
- export import "This compiler has been configured in strict \
- safe-string mode (-force-safe-string)"
  | Missing_module(_, path1, path2) ->
  fprintf ppf "@[@[<hov>";
  if Path.same path1 path2 then

jscomp/ml/env.mli

@@ -210,8 +210,7 @@ val crc_of_unit: string -> Digest.t
 
 val imports: unit -> (string * Digest.t option) list
 
-(* [is_imported_opaque md] returns true if [md] is an opaque imported module *)
-val is_imported_opaque: string -> bool
+
 
 (* Direct access to the table of imported compilation units with their CRC *)
 
@@ -236,7 +235,6 @@ type error =
  | Illegal_renaming of string * string * string
  | Inconsistent_import of string * string * string
  | Need_recursive_types of string * string
- | Depend_on_unsafe_string_unit of string * string
  | Missing_module of Location.t * Path.t * Path.t
  | Illegal_value_name of Location.t * string
 

jscomp/super_errors/super_env.ml

@@ -23,11 +23,6 @@ let report_error ppf = function
  fprintf ppf
  "@[<hov>Unit %s imports from %s, which uses recursive types.@ %s@]"
  export import "The compilation flag -rectypes is required"
- | Depend_on_unsafe_string_unit(import, export) ->
- fprintf ppf
- "@[<hov>Unit %s imports from %s, compiled with -unsafe-string.@ %s@]"
- export import "This compiler has been configured in strict \
- safe-string mode (-force-safe-string)"
  | Missing_module(_, path1, path2) ->
  fprintf ppf "@[@[<hov>";
  if Path.same path1 path2 then

lib/4.06.1/unstable/js_compiler.ml

@@ -6158,10 +6158,9 @@ module Cmi_format : sig
 (**************************************************************************)
 
 type pers_flags =
- | Rectypes
  | Deprecated of string
- | Opaque
- | Unsafe_string
+
+
 
 type cmi_infos = {
  cmi_name : string;
@@ -6212,10 +6211,9 @@ end = struct
 (**************************************************************************)
 
 type pers_flags =
- | Rectypes
  | Deprecated of string
- | Opaque
- | Unsafe_string
+
+
 
 type error =
  Not_an_interface of string
@@ -14658,8 +14656,7 @@ val crc_of_unit: string -> Digest.t
 
 val imports: unit -> (string * Digest.t option) list
 
-(* [is_imported_opaque md] returns true if [md] is an opaque imported module *)
-val is_imported_opaque: string -> bool
+
 
 (* Direct access to the table of imported compilation units with their CRC *)
 
@@ -14684,7 +14681,6 @@ type error =
  | Illegal_renaming of string * string * string
  | Inconsistent_import of string * string * string
  | Need_recursive_types of string * string
- | Depend_on_unsafe_string_unit of string * string
  | Missing_module of Location.t * Path.t * Path.t
  | Illegal_value_name of Location.t * string
 
@@ -14837,7 +14833,6 @@ type error =
  | Illegal_renaming of string * string * string
  | Inconsistent_import of string * string * string
  | Need_recursive_types of string * string
- | Depend_on_unsafe_string_unit of string * string
  | Missing_module of Location.t * Path.t * Path.t
  | Illegal_value_name of Location.t * string
 
@@ -15435,15 +15430,11 @@ let imported_units = ref StringSet.empty
 let add_import s =
  imported_units := StringSet.add s !imported_units
 
-let imported_opaque_units = ref StringSet.empty
-
-let add_imported_opaque s =
- imported_opaque_units := StringSet.add s !imported_opaque_units
 
 let clear_imports () =
  Consistbl.clear crc_units;
- imported_units := StringSet.empty;
- imported_opaque_units := StringSet.empty
+ imported_units := StringSet.empty
+
 
 let check_consistency ps =
  try
@@ -15463,13 +15454,6 @@ let check_consistency ps =
 let save_pers_struct crc ps =
  let modname = ps.ps_name in
  Hashtbl.add persistent_structures modname (Some ps);
- List.iter
- (function
- | Rectypes -> ()
- | Deprecated _ -> ()
- | Unsafe_string -> ()
- | Opaque -> add_imported_opaque modname)
- ps.ps_flags;
  Consistbl.set crc_units modname crc ps.ps_filename;
  add_import modname
 
@@ -15491,7 +15475,7 @@ let acknowledge_pers_struct check modname
  let crcs = cmi.cmi_crcs in
  let flags = cmi.cmi_flags in
  let deprecated =
- List.fold_left (fun acc -> function Deprecated s -> Some s | _ -> acc) None
+ List.fold_left (fun _ -> function Deprecated s -> Some s ) None
  flags
  in
  let comps =
@@ -15509,16 +15493,6 @@ let acknowledge_pers_struct check modname
  } in
  if ps.ps_name <> modname then
  error (Illegal_renaming(modname, ps.ps_name, filename));
-
- List.iter
- (function
- | Rectypes ->
- error (Need_recursive_types(ps.ps_name, !current_unit))
- | Unsafe_string ->
- error (Depend_on_unsafe_string_unit (ps.ps_name, !current_unit));
- | Deprecated _ -> ()
- | Opaque -> add_imported_opaque modname)
- ps.ps_flags;
  if check then check_consistency ps;
  Hashtbl.add persistent_structures modname (Some ps);
  ps
@@ -15573,9 +15547,6 @@ let check_pers_struct name =
  Format.sprintf
  "%s uses recursive types"
  name
- | Depend_on_unsafe_string_unit (name, _) ->
- Printf.sprintf "%s uses -unsafe-string"
- name
  | Missing_module _ -> assert false
  | Illegal_value_name _ -> assert false
  in
@@ -16898,9 +16869,6 @@ let imports () =
  (StringSet.fold 
  (fun m acc -> if m = x then acc else m::acc) 
  !imported_units []) crc_units
-(* Returns true if [s] is an opaque imported module *)
-let is_imported_opaque s =
- StringSet.mem s !imported_opaque_units
 
 (* Save a signature to a file *)
 
@@ -17093,11 +17061,6 @@ let report_error ppf = function
  fprintf ppf
  "@[<hov>Unit %s imports from %s, which uses recursive types.@ %s@]"
  export import "The compilation flag -rectypes is required"
- | Depend_on_unsafe_string_unit(import, export) ->
- fprintf ppf
- "@[<hov>Unit %s imports from %s, compiled with -unsafe-string.@ %s@]"
- export import "This compiler has been configured in strict \
- safe-string mode (-force-safe-string)"
  | Missing_module(_, path1, path2) ->
  fprintf ppf "@[@[<hov>";
  if Path.same path1 path2 then
@@ -267714,11 +267677,6 @@ let report_error ppf = function
  fprintf ppf
  "@[<hov>Unit %s imports from %s, which uses recursive types.@ %s@]"
  export import "The compilation flag -rectypes is required"
- | Depend_on_unsafe_string_unit(import, export) ->
- fprintf ppf
- "@[<hov>Unit %s imports from %s, compiled with -unsafe-string.@ %s@]"
- export import "This compiler has been configured in strict \
- safe-string mode (-force-safe-string)"
  | Missing_module(_, path1, path2) ->
  fprintf ppf "@[@[<hov>";
  if Path.same path1 path2 then