diff --git a/.merlin b/.merlin index a047e25..68e740a 100644 --- a/.merlin +++ b/.merlin @@ -7,4 +7,4 @@ B _build/bench/ PKG oUnit qcheck PKG benchmark FLG -safe-string -FLG -w +a -w -4 -w -44 +FLG -w+a-4-44-48-60@8 diff --git a/_tags b/_tags index 493c238..fd66075 100644 --- a/_tags +++ b/_tags @@ -27,8 +27,8 @@ : pkg_benchmark : use_sequence # OASIS_STOP -true: bin_annot -<**/*.ml>: warn_A, warn(-4) +true: bin_annot, color(always) +<**/*.ml>: warn(+a-4-44-48@8) true: mark_tag_used <**/*.cmx>: optimize(3) : nolabels