stronger inlining for CCVector (so that e.g. push is inline)

This commit is contained in:
Simon Cruanes 2014-11-10 00:49:45 +01:00
parent 1debe08645
commit 9b3419055e

1
_tags
View file

@ -160,4 +160,5 @@
<tests/*.ml{,i}>: thread
<threads/*.ml{,i}>: thread
<sequence>: -traverse
<core/CCVector.cmx>: inline(25)
<{string,core}/**/*.ml>: warn_A, warn(-4), warn(-44)