|
From: | lilypond |
Subject: | Re: Issue 1584 in lilypond: removing parser DIGIT rule |
Date: | Thu, 31 Mar 2011 07:53:06 +0000 |
Comment #1 on issue 1584 by address@hidden: removing parser DIGIT rule http://code.google.com/p/lilypond/issues/detail?id=1584With regard to "magically works": that would have been my initial regtest. However, after repeating the regtest, I can corroborrate that the patch fails in the manner described by Neil.
It is not much of a surprise that it fails. What is puzzling, however, is that the unpatched Lilypond works: the same problem (namely being unable to parse 0\mm) should occur since 0 is clearly a DIGIT type token and can't be absorbed as an UNSIGNED in the rule with \mm.
Can the scanner backtrack and return UNSIGNED when DIGIT can't be absorbed? This is quite mysterious to me.
[Prev in Thread] | Current Thread | [Next in Thread] |