Thank you Simon.
I finally found where this is documented:
https://www.gnu.org/software/bison/manual/bison.html#Token-I18n
Quoting from the documentation:
Unless defined by the user, the end-of-file token, YYEOF, is provided
“end of file” as an alias. It is also internationalized if the user
internationalized tokens. To map it to another string, use:
%token END 0 _("end of input")
On Fri, 6 May 2022 at 23:32, Simon Richter <simon.rich...@hogyros.de> wrote:
>
> Hi,
>
> On 5/6/22 11:12 AM, Szabolcs Horvát wrote:
>
> > This does indeed work in all versions, including 2.3. But it is
> > unclear to me if it is safe. Is it guaranteed that $end corresponds to
> > 0?
>
> To my knowledge, that is documented behaviour, yes.
>
> Simon
>
