summaryrefslogtreecommitdiff
path: root/toplevel/expunge.ml
diff options
context:
space:
mode:
authorGabriel Radanne <drupyog+github@zoho.com>2018-07-23 14:19:41 +0200
committerMark Shinwell <mshinwell@gmail.com>2018-07-23 13:19:41 +0100
commit1be47bf7ab71235f4b37143a5129bac57ea89bdc (patch)
tree2632aed4bd3281ce95366e2e36a1ed93b1232b76 /toplevel/expunge.ml
parentb0ebe697275d98d3acac7cf1087d9d2879b582bd (diff)
downloadocaml-1be47bf7ab71235f4b37143a5129bac57ea89bdc.tar.gz
Just some tbl things. (#1699)
Diffstat (limited to 'toplevel/expunge.ml')
-rw-r--r--toplevel/expunge.ml15
1 files changed, 5 insertions, 10 deletions
diff --git a/toplevel/expunge.ml b/toplevel/expunge.ml
index e97d8e593b..22eb46f673 100644
--- a/toplevel/expunge.ml
+++ b/toplevel/expunge.ml
@@ -17,25 +17,20 @@
Usage: expunge <source file> <dest file> <names of modules to keep> *)
open Misc
-
-module StringSet =
- Set.Make(struct
- type t = string
- let compare = compare
- end)
+module String = Misc.Stdlib.String
let is_exn =
let h = Hashtbl.create 64 in
Array.iter (fun n -> Hashtbl.add h n ()) Runtimedef.builtin_exceptions;
Hashtbl.mem h
-let to_keep = ref StringSet.empty
+let to_keep = ref String.Set.empty
let negate = Sys.argv.(3) = "-v"
let keep =
- if negate then fun name -> is_exn name || not (StringSet.mem name !to_keep)
- else fun name -> is_exn name || (StringSet.mem name !to_keep)
+ if negate then fun name -> is_exn name || not (String.Set.mem name !to_keep)
+ else fun name -> is_exn name || (String.Set.mem name !to_keep)
let expunge_map tbl =
Symtable.filter_global_map (fun id -> keep (Ident.name id)) tbl
@@ -47,7 +42,7 @@ let main () =
let input_name = Sys.argv.(1) in
let output_name = Sys.argv.(2) in
for i = (if negate then 4 else 3) to Array.length Sys.argv - 1 do
- to_keep := StringSet.add (String.capitalize_ascii Sys.argv.(i)) !to_keep
+ to_keep := String.Set.add (String.capitalize_ascii Sys.argv.(i)) !to_keep
done;
let ic = open_in_bin input_name in
Bytesections.read_toc ic;