Re: bison-3.0.5 released [stable]

[Hans Åberg]

> On 18 Jun 2018, at 07:14, Akim Demaille <address@hidden> wrote:
> 
>> Le 2 juin 2018 à 19:08, Hans Åberg <address@hidden> a écrit :
>> 
>>> On 28 May 2018, at 07:33, Akim Demaille <address@hidden> wrote:
>>> 
>>> We are happy to announce the release of GNU Bison 3.0.5, a bug fix
>>> release.
>> 
>> There is a bug in 'make install-pdf', because in the directories po/ and 
>> runtime-po/, the Makefile does not have it, terminating before reaching the 
>> doc/ directory. A workaround is to add such a rule.
> 
> Fixed in master.

Great, as the install may not checked when testing.

May I call your attention to the UTF-8 translation problem in the error 
messages of the named identifiers [1-2], which probably requires someone well 
acquainted with the Bison code to fix:

From what I can see, Bison uses
  set_quoting_style (qo, c_quoting_style);
to ensure that certain names are translated into C-string literals, and relies 
on that this function is an idempotent, i.e., for some strings, it is applied 
more than once, others not. In addition, the argument c_quoting_style causes 
octets with the high bit set to become translated with a backslash, with 
perhaps has to do with a way to handle the POSIX C locale, which make me wonder 
how UTF-8 is handled there, too.

1. http://lists.gnu.org/archive/html/bug-bison/2018-03/msg00063.html
2. http://lists.gnu.org/archive/html/bug-bison/2018-03/msg00063.html