Makefile: add --warn-error 8 (incomplete pattern-matching)

This commit is contained in:
Grégoire Henry 2017-03-07 13:12:23 +01:00
parent 63e5ea5e79
commit 9dd2e4963f
3 changed files with 3 additions and 2 deletions

View File

@ -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}

View File

@ -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 })) ->

View File

@ -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 ;