more warnings

This commit is contained in:
Simon Cruanes 2014-11-08 01:00:33 +01:00
parent dc7b774120
commit 259644edf1
2 changed files with 2 additions and 2 deletions

View file

@ -15,4 +15,4 @@ PKG benchmark
PKG threads
PKG threads.posix
PKG lwt
FLG -w +K,+Y,+X
FLG -w +a -w -4 -w -44

2
_tags
View file

@ -160,4 +160,4 @@
<tests/*.ml{,i}>: thread
<threads/*.ml{,i}>: thread
<sequence>: -traverse
<{string,core}/**/*.ml>: warn_K, warn_Y, warn_X
<{string,core}/**/*.ml>: warn_A, warn(-4), warn(-44)