From 2dc743965ba055515efe48254ac77f021e81b93e Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 17 May 2014 00:59:07 +0200 Subject: [PATCH] enable warnings --- .merlin | 3 +++ _tags | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/.merlin b/.merlin index 32ccdcde..7598e01b 100644 --- a/.merlin +++ b/.merlin @@ -1,9 +1,11 @@ S core S misc +S string S tests S examples B _build/core B _build/misc +B _build/string B _build/tests B _build/examples PKG oUnit @@ -11,3 +13,4 @@ PKG bench PKG threads PKG threads.posix PKG lwt +FLG -w +K,+Y,+X diff --git a/_tags b/_tags index 94f7bebc..25a336b6 100644 --- a/_tags +++ b/_tags @@ -125,4 +125,4 @@ # OASIS_STOP : thread : thread -<**/*.ml>: warn_K, warn_Y, warn_X +<{string,core}/**/*.ml>: warn_K, warn_Y, warn_X