diff --git a/infer/src/base/ProcessPool.ml b/infer/src/base/ProcessPool.ml index 5b8f9b5a4..21b91aa60 100644 --- a/infer/src/base/ProcessPool.ml +++ b/infer/src/base/ProcessPool.ml @@ -151,7 +151,7 @@ let has_dead_child pool = , status ) ) -let child_is_idle = function Idle _ -> true | _ -> false +let child_is_idle = function Idle -> true | _ -> false let all_children_idle pool = Array.for_all pool.children_states ~f:child_is_idle diff --git a/infer/src/dune.common.in b/infer/src/dune.common.in index ac151c3f3..2f5d525d8 100644 --- a/infer/src/dune.common.in +++ b/infer/src/dune.common.in @@ -40,7 +40,7 @@ let common_cflags = * fixed one day. *) let fatal_warnings = - "+3+5+6+8+10+11+12+14+18+19+20+21+23+26+29+27+32+33+34+35+37+38+39+50+52+57+60" + "+3+5+6+8+10+11+12+14+18+19+20+21+23+26+29+27+28+32+33+34+35+37+38+39+50+52+57+60" in let warnings = fatal_warnings ^ "-4-9-40-41-42-45-48" in let common_flags =