Further clarification.

This commit is contained in:
Tony Garnock-Jones 2019-10-08 13:54:23 +01:00
parent ba8875e1d7
commit ebcdbe9ee2
1 changed files with 4 additions and 1 deletions

View File

@ -518,7 +518,10 @@ The following table illustrates varint-encoding.
It is an error for a varint-encoded `m` in a `Repr` to be anything
other than the unique shortest encoding for that `m`. That is, a
varint-encoding of `m` *MUST NOT* end in `0` unless `m`=0.
varint-encoding of `m` *MUST NOT* end in `0` unless `m`=0. However,
the `varint(m)` encoding of a length *MUST NOT* be used when `m`<15,
meaning that a `Repr` *MUST NOT* contain any varint-encoding with
final byte `0`.
#### Streaming data of unknown length (format C).