From 443850588511186723298f316933a6780935138d Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 6 Nov 2014 16:30:08 +0100 Subject: [PATCH] disable warning 44 --- .merlin | 2 +- _tags | 2 +- core/CCList.ml | 2 +- 3 files changed, 3 insertions(+), 3 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 5a3bb15a..37a53b13 100644 --- a/_tags +++ b/_tags @@ -160,4 +160,4 @@ : thread : thread : -traverse -<{string,core}/**/*.ml>: warn_A, warn(-4) +<{string,core}/**/*.ml>: warn_A, warn(-4), warn(-44) diff --git a/core/CCList.ml b/core/CCList.ml index 03713d62..64cd4b9e 100644 --- a/core/CCList.ml +++ b/core/CCList.ml @@ -552,7 +552,7 @@ module type MONAD = sig end module Traverse(M : MONAD) = struct - open! M + open M let map_m f l = let rec aux f acc l = match l with