matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge pull request #804 from rgrinberg/remove-extra-conversion 

Remove extra set to list conversion
This commit is contained in:
Rudi Grinberg 2018-05-25 19:17:45 +07:00 committed by GitHub
parent e27077b86b 15ce5211b8
commit 37366ea63f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/findlib.ml
View File

@ -340,14 +340,11 @@ let root_packages t =
Path.exists (Path.relative dir (name ^ "/META"))))
|> String.Set.of_list
in
let pkgs =
String.Set.union pkgs
(String.Set.of_list (String.Map.keys t.builtins))
in
String.Set.to_list pkgs
String.Set.union pkgs
(String.Set.of_list (String.Map.keys t.builtins))
let load_all_packages t =
List.iter (root_packages t) ~f:(fun pkg ->
String.Set.iter (root_packages t) ~f:(fun pkg ->
find_and_acknowledge_meta t ~fq_name:pkg)
let all_packages t =