Hi, What is the current status of the bug [1] reported seven years ago?
The workaround discussed in the referenced messages makes use of undocumented Bison internals, so an official fix is highly desirable. Thanks, Marc -- [1] https://lists.gnu.org/archive/html/bug-bison/2018-02/msg00000.html