diff --git a/preserves.md b/preserves.md index 8646805..0be95e1 100644 --- a/preserves.md +++ b/preserves.md @@ -248,24 +248,24 @@ The next example uses a non-`Symbol` label for a record.[^extensibility2] The `R encodes to - B4 ;; Record - B5 ;; Sequence - B3 06 74 69 74 6C 65 64 ;; Symbol, "titled" - B3 06 70 65 72 73 6F 6E ;; Symbol, "person" - B0 01 02 ;; SignedInteger, "2" - B3 05 74 68 69 6E 67 ;; Symbol, "thing" - B0 01 01 ;; SignedInteger, "1" - 84 ;; End (sequence) - B0 01 65 ;; SignedInteger, "101" - B1 09 42 6C 61 63 6B 77 65 6C 6C ;; String, "Blackwell" - B4 ;; Record - B3 04 64 61 74 65 ;; Symbol, "date" - B0 02 07 1D ;; SignedInteger, "1821" - B0 01 02 ;; SignedInteger, "2" - B0 01 03 ;; SignedInteger, "3" - 84 ;; End (record) - B1 02 44 72 ;; String, "Dr" - 84 ;; End (record) + B4 # Record + B5 # Sequence + B3 06 74 69 74 6C 65 64 # Symbol, "titled" + B3 06 70 65 72 73 6F 6E # Symbol, "person" + B0 01 02 # SignedInteger, "2" + B3 05 74 68 69 6E 67 # Symbol, "thing" + B0 01 01 # SignedInteger, "1" + 84 # End (sequence) + B0 01 65 # SignedInteger, "101" + B1 09 42 6C 61 63 6B 77 65 6C 6C # String, "Blackwell" + B4 # Record + B3 04 64 61 74 65 # Symbol, "date" + B0 02 07 1D # SignedInteger, "1821" + B0 01 02 # SignedInteger, "2" + B0 01 03 # SignedInteger, "3" + 84 # End (record) + B1 02 44 72 # String, "Dr" + 84 # End (record) [^extensibility2]: It happens to line up with Racket's representation of a record label for an inheritance hierarchy