Re: RFC: diagnostics: display suggested update after the caret-info

[Paul Eggert]

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.