[Json] Consensus call: ABNF nits

[Paul Hoffman <[e-mail]>]

There are two proposals for dealing with nits in the ABNF:
  0) Leave the ABNF in the current draft as-is
  1) Change the ABNF in the draft to use the values in "Proposal 1" below
Note that later proposals might make technical changes to the ABNF itself; those proposals are not what we are discussing in this consensus call.

Please respond to this message with a list of proposals you could accept, ordered from highest to lowest. Do not list proposals you cannot live with. If you cannot accept any of the proposals, please respond and say why.

Based on the responses we receive, we will try to judge the consensus of the WG.

-- The JSON WG co-chairs

Proposal #1
Note that this ABNF is sprinkled throughout Section 2 of draft-ietf-json-rfc4627bis-02. Each
section below replaces the similar section in the draft.
==============================================================

JSON-text = object / array

begin-array     = ws %x5B ws  ; [ left square bracket
begin-object    = ws %x7B ws  ; { left curly bracket
end-array       = ws %x5D ws  ; ] right square bracket
end-object      = ws %x7D ws  ; } right curly bracket
name-separator  = ws %x3A ws  ; : colon
value-separator = ws %x2C ws  ; , comma

ws = *(
     %x20 /              ; Space
     %x09 /              ; Horizontal tab
     %x0A /              ; Line feed or New line
     %x0D                ; Carriage return
     )

value = false / null / true / object / array / number / string
false = %x66.61.6c.73.65   ; false
null  = %x6e.75.6c.6c      ; null
true  = %x74.72.75.65      ; true

object = begin-object [ member *( value-separator member ) ]
         end-object
member = string name-separator value

array = begin-array [ value *( value-separator value ) ] end-array

number = [ minus ] int [ frac ] [ exp ]
decimal-point = %x2E       ; .
digit1-9 = %x31-39         ; 1-9
e = %x65 / %x45            ; e E
exp = e [ minus / plus ] 1*DIGIT
frac = decimal-point 1*DIGIT
int = zero / ( digit1-9 *DIGIT )
minus = %x2D               ; -
plus = %x2B                ; +
zero = %x30                ; 0
DIGIT = %x30-39            ; 0-9
      ; DIGIT equivalent to DIGIT rule in [RFC5234]

string = quotation-mark *char quotation-mark
char = unescaped / (
    escape (
        %x22 /           ; "    quotation mark  U+0022
        %x5C /           ; \    reverse solidus U+005C
        %x2F /           ; /    solidus         U+002F
        %x62 /           ; b    backspace       U+0008
        %x66 /           ; f    form feed       U+000C
        %x6E /           ; n    line feed       U+000A
        %x72 /           ; r    carriage return U+000D
        %x74 /           ; t    tab             U+0009
        %x75 4HEXDIG ) ) ; uXXXX                U+XXXX
escape = %x5C              ; \  U+005C
quotation-mark = %x22      ; "  U+0022
unescaped = %x20-21 / %x23-5B / %x5D-10FFFF  ; any Unicode scalar
   ; value, except those that must be escaped (C0 control
   ; characters, "QUOTATION MARK" [U+0022], and "REVERSE SOLIDUS"
   ; [U+005C])
HEXDIG = DIGIT / %x41-46 / %x61-66   ; 0-9, A-F, or a-f
       ; HEXDIG equivalent to HEXDIG rule in [RFC5234]