Re: Removing parser DIGIT (was: PATCH - DOC: Added @knownissue to NR for fingering

[David Kastrup]

Neil Puttock <address@hidden> writes:

> On 22 March 2011 17:20, David Kastrup <address@hidden> wrote:
>
>> This.
>>
>> <URL:http://codereview.appspot.com/4311041>
>>
>> Please improve/discuss.  This looks totally insane but does not actually
>> change the existing absurd realities for single-digit unsigned numbers.
>
> I'm afraid I can't even get as far as running `make check' since
> you've removed the rule which allows this,
>
> \paper {
>   indent = 5\mm
> }
>
> unless we redefine all these settings using real numbers.

make check worked for me, though there is no apparent reason that it
should.  However, 5 previously parsed as a DIGIT token, and that would
not have been applicable to the rule containing UNSIGNED anyway.

So while I don't have an idea why my make check did not fail, I also
have no idea why it would ever have worked.

-- 
David Kastrup