Re: How to set friendly name for "$end"?

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 <[email protected]> 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
>