, and I think that
breaking YYFAIL now for %error-verbose is fine too.
Google code search turns up an instance where both are used:
http://www.google.com/codesearch?hl=en&lr=&q=%25error-verbose+YYFAIL+file%3A\.y&sbtn=Search
Hmm, right. They're not relying on the semantics, though and they can
simply fix it by removing the "|| defined (YYFAIL)". So it's
effectively a false positive of the warning. Well, let's live with it.
I agree we may have to keep it for a long time, but hopefully the warning
will prompt users to explore at least why YYFAIL is deprecated. Maybe I
should make the warning even stronger by saying that YYFAIL will
eventually be removed.
Fine, even if both of us know how likely that is to happen. :-)
Paolo
