Makefile.menhir: enable strict mode

The yacc parser already uses its --strict flag, which turns grammar
conflicts into build errors so that they are noticed. Menhir uses
a more extensive semantics for the --strict flag, as it turns into
errors grammar warnings that have no yacc counterpart, in particular
unused precedence levels. We have to fix more mistakes, which I guess
is good news.
master
Gabriel Scherer 2018-07-04 09:47:10 +02:00
parent b165b524e1
commit 5794656607
1 changed files with 1 additions and 1 deletions

View File

@ -16,7 +16,7 @@
MENHIR ?= menhir
MENHIRFLAGS := --explain --ocamlc "$(CAMLC) $(COMPFLAGS)" --infer\
--table --external-tokens Parser\
--strict --table --external-tokens Parser\
--unused-token COMMENT --unused-token DOCSTRING --unused-token EOL\
--unused-token GREATERRBRACKET