Commit c99692d
committed
Fix overly greedy digits
This fixes several rules that were using greedy repetition operators.
The problem with `(DIGIT|_)* DIGIT` is that the first repetition
consumes all of the digits.
I actually don't know exactly why the original rules were written in
this particular way. I'm guessing they were intending to express that
there must be at least one digit. However, just having `_`* should be
sufficient.1 parent 11f84ce commit c99692d
1 file changed
+4
-4
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
445 | 445 | | |
446 | 446 | | |
447 | 447 | | |
448 | | - | |
| 448 | + | |
449 | 449 | | |
450 | | - | |
| 450 | + | |
451 | 451 | | |
452 | | - | |
| 452 | + | |
453 | 453 | | |
454 | 454 | | |
455 | 455 | | |
| |||
561 | 561 | | |
562 | 562 | | |
563 | 563 | | |
564 | | - | |
| 564 | + | |
565 | 565 | | |
566 | 566 | | |
567 | 567 | | |
| |||
0 commit comments