moar inlining

This commit is contained in:
Simon Cruanes 2016-03-09 21:18:40 +01:00
parent b5f54e3424
commit fb8661d1ba

2
_tags
View file

@ -155,7 +155,7 @@ true: annot, bin_annot
# OASIS_STOP
<tests/*.ml{,i}>: thread
<src/threads/*.ml{,i}>: thread
<src/core/CCVector.cmx>: inline(25)
<src/core/CCVector.cmx> or <src/core/CCString.cmx>: inline(25)
<src/data/CCFlatHashtbl.cm*> or <src/data/CCHashTrie.cm*> or <src/data/CCPersistent*>: inline(15)
<src/**/*.ml> and not <src/misc/*.ml>: warn_A, warn(-4), warn(-44)
true: no_alias_deps, safe_string, short_paths