Akim Demaille wrote:
This commit changes the warning from:
foo.yy:1.5-18: warning: deprecated directive, use '%define parse.error verbose'
[-Wdeprecated]
%error-verbose
^~~~~~~~~~~~~~
to:
foo.yy:1.5-18: warning: deprecated directive [-Wdeprecated]
%error-verbose
^~~~~~~~~~~~~~
%define parse.error verbose
For the records, when caret-errors are disabled, we have (independently of this
proposed change):
foo.yy:1.1-14: warning: deprecated directive: '%error-verbose', use '%define
parse.error verbose' [-Wdeprecated]
I find the new diagnostic confusing, as it's not clear to the non-expert what
the "%define parse.error verbose" means. The old diagnostic (or the one with
caret-errors disabled) is clearer.
