Re: How to set friendly name for "$end"?
Simon Richter <[email protected]> Fri, 6 May 2022 23:31:55 +0200
| Newsgroups | gmane.comp.parsers.bison.general |
|---|---|
| Message-ID | <[email protected]> |
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
(application/pgp-signature, 488 B) - not displayed