Commit 69aef9cf authored by POTTIER Francois's avatar POTTIER Francois

Added a bad test where a (private) nonterminal symbol is multiply-defined.

parent 1cca246a
File "multiple-symbol-definition.mly", line 9, characters 0-1:
File "multiple-symbol-definition.mly", line 10, characters 0-1:
Error: the nonterminal symbol a is multiply defined.
/* This grammar is accepted by ocamlyacc, but rejected by Menhir,
as there are two definitions of the symbol [a], and we view
this as a potential mistake. We allow splitting the definition
of %public symbols only. */
%token A B C
%start a
%type<unit> a
a: A B C {}
a: B {}
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