Re: Allow digits in identifiers (issue 6493072)

[Bernard Hurley]

On Mon, Sep 03, 2012 at 08:07:07PM +0000, address@hidden wrote:
>
> flex documentation is pretty clear about backing up being very
> expensive.  I don't remember whether it was only expensive when it
> happens, or whether the expense was more or less a fixed cost.  However,
> things like a4 are not actually rare in music input.
>

Would there be any future in allowing digits in identifiers provided
the sequence started with a 0. So a04 would be an identifier but
a4 not. This seems to avoid the backing up problem.


Bernard.