[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to set friendly name for "$end"?
From: |
Szabolcs Horvát |
Subject: |
Re: How to set friendly name for "$end"? |
Date: |
Sat, 7 May 2022 09:23:59 +0200 |
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.Richter@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
>