From 9dd2e4963f2f8e060542aec85c8cd67b30bf170d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Tue, 7 Mar 2017 13:12:23 +0100 Subject: [PATCH] Makefile: add `--warn-error 8` (incomplete pattern-matching) --- src/Makefile.config | 2 +- src/client/embedded/alpha/baker/client_mining_operations.ml | 1 + src/compiler/tezos_compiler.ml | 2 +- 3 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/Makefile.config b/src/Makefile.config index 8147ced87..5668d6d22 100644 --- a/src/Makefile.config +++ b/src/Makefile.config @@ -13,7 +13,7 @@ DEVFLAGS := -bin-annot -g endif OCAMLFLAGS = \ - ${DEVFLAGS} -short-paths -safe-string -w +27-30-40 \ + ${DEVFLAGS} -short-paths -safe-string -w +27-30-40@8 \ ${INCLUDES} \ ${EXTRA_OCAMLFLAGS} diff --git a/src/client/embedded/alpha/baker/client_mining_operations.ml b/src/client/embedded/alpha/baker/client_mining_operations.ml index f241eff4c..2543bdac0 100644 --- a/src/client/embedded/alpha/baker/client_mining_operations.ml +++ b/src/client/embedded/alpha/baker/client_mining_operations.ml @@ -51,6 +51,7 @@ let filter_valid_endorsement cctxt { hash; content } = match content with | None | Some (_, Anonymous_operations _) + | Some (_, Sourced_operations (Dictator_operation _ )) | Some (_, Sourced_operations (Manager_operations _ )) -> Lwt.return_none | Some ({net_id}, Sourced_operations (Delegate_operations { source ; operations })) -> diff --git a/src/compiler/tezos_compiler.ml b/src/compiler/tezos_compiler.ml index 96d14044f..5b315f913 100644 --- a/src/compiler/tezos_compiler.ml +++ b/src/compiler/tezos_compiler.ml @@ -37,7 +37,7 @@ end let backend = (module Backend : Backend_intf.S) let warnings = "+a-4-6-7-9-29-40..42-44-45-48" -let warn_error = "-a" +let warn_error = "-a+8" let () = Clflags.unsafe_string := false ;