diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2018-07-04 09:47:10 +0200 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2018-09-01 23:17:04 +0200 |
| commit | 5794656607f4eb210285299c7fd26c5021b4a7e6 (patch) | |
| tree | 8bf9d46c2aa1274d130989e2bc6055538415c205 /Makefile.menhir | |
| parent | b165b524e13c87a67c4af934461b022ca67e626c (diff) | |
| download | ocaml-5794656607f4eb210285299c7fd26c5021b4a7e6.tar.gz | |
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.
Diffstat (limited to 'Makefile.menhir')
| -rw-r--r-- | Makefile.menhir | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.menhir b/Makefile.menhir index 409e14cd64..f178fab3ed 100644 --- a/Makefile.menhir +++ b/Makefile.menhir @@ -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 |