disable warning 44

This commit is contained in:
Simon Cruanes 2014-11-06 16:30:08 +01:00
parent ed3bf4ba26
commit 4438505885
3 changed files with 3 additions and 3 deletions

View file

@ -15,4 +15,4 @@ PKG benchmark
PKG threads PKG threads
PKG threads.posix PKG threads.posix
PKG lwt 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 <tests/*.ml{,i}>: thread
<threads/*.ml{,i}>: thread <threads/*.ml{,i}>: thread
<sequence>: -traverse <sequence>: -traverse
<{string,core}/**/*.ml>: warn_A, warn(-4) <{string,core}/**/*.ml>: warn_A, warn(-4), warn(-44)

View file

@ -552,7 +552,7 @@ module type MONAD = sig
end end
module Traverse(M : MONAD) = struct module Traverse(M : MONAD) = struct
open! M open M
let map_m f l = let map_m f l =
let rec aux f acc l = match l with let rec aux f acc l = match l with