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

Merge pull request #1030 from rgrinberg/remove-extra-is-standard 

Remove extra is standard check that is already done in Osl.eval
This commit is contained in:
Rudi Grinberg 2018-07-18 14:26:36 +02:00 committed by GitHub
parent 5dd218c0b8 621c666610
commit 3b9fb8df0a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 12 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/dir_contents.ml
View File

@ -417,11 +417,8 @@ let build_mlds_map (d : Super_context.Dir_with_jbuild.t) ~files =
in
List.filter_map d.stanzas ~f:(function
| Documentation doc ->
let mlds = Lazy.force mlds in
let mlds =
if Ordered_set_lang.is_standard doc.mld_files then
mlds
else
let mlds = Lazy.force mlds in
Ordered_set_lang.String.eval_unordered doc.mld_files
~parse:(fun ~loc s ->
match String.Map.find mlds s with