diff options
author | Gabriel Radanne <drupyog+github@zoho.com> | 2018-07-23 14:19:41 +0200 |
---|---|---|
committer | Mark Shinwell <mshinwell@gmail.com> | 2018-07-23 13:19:41 +0100 |
commit | 1be47bf7ab71235f4b37143a5129bac57ea89bdc (patch) | |
tree | 2632aed4bd3281ce95366e2e36a1ed93b1232b76 /toplevel/expunge.ml | |
parent | b0ebe697275d98d3acac7cf1087d9d2879b582bd (diff) | |
download | ocaml-1be47bf7ab71235f4b37143a5129bac57ea89bdc.tar.gz |
Just some tbl things. (#1699)
Diffstat (limited to 'toplevel/expunge.ml')
-rw-r--r-- | toplevel/expunge.ml | 15 |
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; |