menhir --fixed-exception, use the same exception as yacc

2018-08-25 18:59:08 +02:00 · 2018-08-25 18:59:08 +02:00 · 982ac40b5a
parent b4a56926de
commit 982ac40b5a
2 changed files with 14508 additions and 4962 deletions
--- a/Makefile.menhir
+++ b/Makefile.menhir
@ -18,7 +18,7 @@ MENHIR ?= menhir
 MENHIRFLAGS := --explain --ocamlc "$(CAMLC) $(COMPFLAGS)" --infer\
 	--lalr --strict --table --external-tokens Parser\
        --unused-token COMMENT --unused-token DOCSTRING --unused-token EOL\
-        --unused-token GREATERRBRACKET
+        --unused-token GREATERRBRACKET --fixed-exception

 # tokens COMMENT, DOCSTRING and EOL are produced by special lexer
 # modes used by other consumers than the parser.
--- a/boot/menhir/parser_menhir.ml
+++ b/boot/menhir/parser_menhir.ml