From f6b3a7addf7846a6416dce9ccb172d5fdf7bc2df Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 24 Dec 2017 17:07:59 +0100 Subject: [PATCH] warnings --- .merlin | 2 +- src/core/CCList.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.merlin b/.merlin index 0110f580..998a48f5 100644 --- a/.merlin +++ b/.merlin @@ -18,4 +18,4 @@ PKG threads PKG threads.posix PKG lwt PKG qcheck -FLG -w +a-4-44-48-60 +FLG -w +a-4-44-48-60@8 diff --git a/src/core/CCList.ml b/src/core/CCList.ml index 290dbaa5..27ab041e 100644 --- a/src/core/CCList.ml +++ b/src/core/CCList.ml @@ -944,7 +944,7 @@ let all_ok l = try Result.Ok (map - (function Result.Ok x -> x | Error e -> err := Some e; raise Exit) + (function Result.Ok x -> x | Result.Error e -> err := Some e; raise Exit) l) with Exit -> begin match !err with