From a099fc9a3bbab2f6214f2e232b37c856de75ed24 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Mon, 18 May 2020 09:56:16 +0200 Subject: [PATCH] Cosmetic: table whitespace --- preserves.md | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) diff --git a/preserves.md b/preserves.md index 25c5089..6850060 100644 --- a/preserves.md +++ b/preserves.md @@ -460,17 +460,17 @@ representation.[^some-encodings-unused] [^some-encodings-unused]: Some encodings are unused. All such encodings are reserved for future versions of this specification. -| `t` | `n` | `m` | Meaning | -| --- | --- | --- | ------- | -| 0 | 0 | 0–3 | (format A) An `Atom` with fixed-length binary representation | -| 0 | 0 | 4 | (format C) Stream end | -| 0 | 0 | 5 | (format A) Annotation | -| 0 | 1 | | (format A) Placeholder for an application-specific `Value` | -| 0 | 2 | | (format C) Stream start | -| 0 | 3 | | (format A) Certain small `SignedInteger`s | +| `t` | `n` | `m` | Meaning | +| --- | --- | --- | ------- | +| 0 | 0 | 0–3 | (format A) An `Atom` with fixed-length binary representation | +| 0 | 0 | 4 | (format C) Stream end | +| 0 | 0 | 5 | (format A) Annotation | +| 0 | 1 | | (format A) Placeholder for an application-specific `Value` | +| 0 | 2 | | (format C) Stream start | +| 0 | 3 | | (format A) Certain small `SignedInteger`s | | 1 | | | (format B) An `Atom` with variable-length binary representation | -| 2 | | | (format B) A `Compound` with variable-length representation | -| 3 | 3 | 15 | (format A) 0xFF byte; no-op | +| 2 | | | (format B) A `Compound` with variable-length representation | +| 3 | 3 | 15 | (format A) 0xFF byte; no-op | #### Encoding data of type-specific length (format A). @@ -515,11 +515,11 @@ the varint-encoding of `m`. Quoting the The following table illustrates varint-encoding. -| Number, `m` | `m` in binary, grouped into 7-bit chunks | `varint(m)` bytes | -| ------ | ------------------- | ------------ | -| 15 | `0001111` | 15 | -| 300 | `0000010 0101100` | 172 2 | -| 1000000000 | `0000011 1011100 1101011 0010100 0000000` | 128 148 235 220 3 | +| Number, `m` | `m` in binary, grouped into 7-bit chunks | `varint(m)` bytes | +| ------ | ------------------- | ------------ | +| 15 | `0001111` | 15 | +| 300 | `0000010 0101100` | 172 2 | +| 1000000000 | `0000011 1011100 1101011 0010100 0000000` | 128 148 235 220 3 | 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