[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Removing parser DIGIT (was: PATCH - DOC: Added @knownissue to NR for
From: |
David Kastrup |
Subject: |
Re: Removing parser DIGIT (was: PATCH - DOC: Added @knownissue to NR for fingering |
Date: |
Tue, 22 Mar 2011 23:59:57 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) |
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