archives

« Bugzilla Issues Index

#2858 — Define DecimalDigit as one of 0, NonDecimalDigit

• bug_id: 2858
• creation_ts: 2014-05-13 15:32:00 -0700
• short_desc: Define DecimalDigit as one of 0, NonDecimalDigit
• delta_ts: 2014-06-02 14:51:07 -0700
• product: Draft for 6th Edition
• component: editorial issue
• version: Rev 24: April 27, 2014 Draft
• rep_platform: All
• op_sys: All
• bug_status: RESOLVED
• resolution: INVALID
• priority: Normal
• bug_severity: enhancement
• everconfirmed: true
• reporter: Rick Waldron
• assigned_to: Allen Wirfs-Brock
• cc: ["jmdyck", "waldron.rick"]

---

• commentid: 8375
• comment_count: 0
• who: Rick Waldron
• bug_when: 2014-05-13 15:32:20 -0700

I couldn't find any precedent to support this in the spec, so it could possibly be dismissed outright. The following defines DecimalDigit in terms of 0 and the nonterminal symbol NonZeroDigit, whose terminals make up the remaining 1-9 digits. Unless I'm mistaken, then DecimalIntegerLiteral can be refactored to just DecimalDigits.


DecimalIntegerLiteral ::
DecimalDigits

DecimalDigits ::
DecimalDigit
DecimalDigits DecimalDigit

DecimalDigit :: one of
0
NonZeroDigit

NonZeroDigit :: one of
1 2 3 4 5 6 7 8 9


Which is a refactoring of:


DecimalIntegerLiteral ::
0
NonZeroDigit DecimalDigits[opt]

DecimalDigits ::
DecimalDigit
DecimalDigits DecimalDigit

DecimalDigit :: one of
0 1 2 3 4 5 6 7 8 9

NonZeroDigit :: one of
1 2 3 4 5 6 7 8 9

---

• commentid: 8411
• comment_count: 1
• who: Michael Dyck
• bug_when: 2014-05-13 22:02:43 -0700

Your proposed syntax would accept e.g. "03", which the existing syntax does not accept (presumably because it looks like a LegacyOctalIntegerLiteral).

---

• commentid: 8849
• comment_count: 2
• who: Rick Waldron
• bug_when: 2014-06-02 14:51:07 -0700

(In reply to comment #1)
> Your proposed syntax would accept e.g. "03", which the existing syntax does not
> accept (presumably because it looks like a LegacyOctalIntegerLiteral).

Heh, just a tiny oversight :)

Thanks, closing this.