On Mon, Sep 03, 2012 at 08:07:07PM +0000, d...@gnu.org 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. _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
