From 259644edf18e849d356b2f27522be3f7a9486360 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 8 Nov 2014 01:00:33 +0100 Subject: [PATCH] more warnings --- .merlin | 2 +- _tags | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.merlin b/.merlin index 728816da..933075fd 100644 --- a/.merlin +++ b/.merlin @@ -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 diff --git a/_tags b/_tags index e89e7e22..37a53b13 100644 --- a/_tags +++ b/_tags @@ -160,4 +160,4 @@ : thread : thread : -traverse -<{string,core}/**/*.ml>: warn_K, warn_Y, warn_X +<{string,core}/**/*.ml>: warn_A, warn(-4), warn(-44)