Vik Fearing <vik(dot)fearing(at)dalibo(dot)com> writes:
> I'm getting some more of these, including some I thought you had fixed.
> Bison 3.0.2 on current head.
I didn't do anything to suppress those warnings:
> gram.y:172.1-13: warning: deprecated directive, use %name-prefix
> [-Wdeprecated]
> %name-prefix="base_yy"
> ^^^^^^^^^^^^^
because it's hard to see how that's anything but a bison bug.
regards, tom lane