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

2022-05-06 Thread Simon Richter
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 OpenPGP_signature Description: OpenPGP digi

How to set friendly name for "$end"?

2022-05-06 Thread Szabolcs Horvát
Hello, Error messages issued by Bison-generated parsers sometimes mention the special token "$end", which is confusing to end users. Normal tokens can be given a friendly names using %token MYTOKEN "my token" Is it possible to set a friendly name for $end as well? Recent versions of Bison forma