Commit cd76d043 authored by François Bobot's avatar François Bobot

[Makefile] add partial match as error

      and fix one added recently
parent 30f8256a
...@@ -94,8 +94,9 @@ INCLUDES = @WHY3INCLUDE@ @ZIPINCLUDE@ @MENHIRINCLUDE@ @NUMINCLUDE@ ...@@ -94,8 +94,9 @@ INCLUDES = @WHY3INCLUDE@ @ZIPINCLUDE@ @MENHIRINCLUDE@ @NUMINCLUDE@
# 5 Partially applied function: expression whose result has function # 5 Partially applied function: expression whose result has function
# type and is ignored. # type and is ignored.
# 48 Implicit elimination of optional arguments. # 48 Implicit elimination of optional arguments.
# 8 Partial match: missing cases in pattern-matching.
WARNINGS = A-4-9-41-44-45-50-52@5@48 WARNINGS = A-4-9-41-44-45-50-52@5@48@8
OFLAGS = -w $(WARNINGS) -safe-string -keep-locs -bin-annot -dtypes -g $(INCLUDES) OFLAGS = -w $(WARNINGS) -safe-string -keep-locs -bin-annot -dtypes -g $(INCLUDES)
BFLAGS = -w $(WARNINGS) -safe-string -keep-locs -bin-annot -dtypes -g $(INCLUDES) BFLAGS = -w $(WARNINGS) -safe-string -keep-locs -bin-annot -dtypes -g $(INCLUDES)
......
...@@ -167,6 +167,8 @@ let load_driver env file extra_files = ...@@ -167,6 +167,8 @@ let load_driver env file extra_files =
in in
let m = lookup_meta s in let m = lookup_meta s in
ignore (create_meta m (List.map convert al)) ignore (create_meta m (List.map convert al))
| Ruse _ ->
Loc.errorm "theory use cannot be used in extraction driver"
in in
let add_local th (loc,rule) = Loc.try2 ~loc add_local th rule in let add_local th (loc,rule) = Loc.try2 ~loc add_local th rule in
let open Pmodule in let open Pmodule in
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment