The update proposal is like this:
OLD:
encoded-arb-octets = "${hex:" hex-pair-seq "}"
hex-pair-seq = hex-pair *(WSP hex-pair)
^^^
NEW:
blank = WSP / CRLF
encoded-arb-octets = "${hex:" hex-pair-seq "}"
hex-pair-seq = *blank hex-pair *(1*blank hex-pair) *blank
^^^^^^ ^^^^^^^ ^^^^^^
OLD:
encoded-unicode-char = "${unicode:" unicode-hex-seq "}"
unicode-hex-seq = unicode-hex *(WSP unicode-hex)
^^^
NEW:
encoded-unicode-char = "${unicode:" unicode-hex-seq "}"
unicode-hex-seq = *blank unicode-hex *(1*blank unicode-hex) *blank
^^^^^^ ^^^^^^^ ^^^^^^
unicode-hex = 1*6HEXDIG
Does this look right?
Modulo the change to make unicode-hex to 1*HEXDIG, yes.
Note that people have suggested some other editorial changes in the same
section, e.g. extra examples. I will post a message on them separately.
For now I want to get closure on the proposed syntax.
I'm find with this. I do note, however, that error handling here is kinda
tricky - since you cannot be sure until you reach the } that the syntax
rules are met, you have to flag any errors you see in unicode values and
only report them at the end. Perhaps a note about this would be in order...
Ned