add some warnings (to be fixed)

This commit is contained in:
Simon Cruanes 2014-11-06 13:48:03 +01:00
parent d75317253d
commit 73201a4e67

2
_tags
View file

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