From 9de37d5df072dd185dc5cca0ed64e679cd92f7fb Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 20 Aug 2019 20:32:58 +0100 Subject: [PATCH] Note re annotations and compact values --- preserves.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/preserves.md b/preserves.md index b7a7026..cc63a01 100644 --- a/preserves.md +++ b/preserves.md @@ -364,7 +364,8 @@ double quote mark. Finally, any `Value` may be represented by escaping from the textual syntax to the [compact binary syntax](#compact-binary-syntax) by prefixing a `ByteString` containing the binary representation of the -`Value` with `#value`.[^rationale-switch-to-binary] [^no-literal-binary-in-text] +`Value` with `#value`.[^rationale-switch-to-binary] +[^no-literal-binary-in-text] [^compact-value-annotations] Compact = %s"#value" ws ByteString @@ -384,6 +385,10 @@ prefixing a `ByteString` containing the binary representation of the structure at all. It would be incoherent to expect to be able to access the representation of the text from within the text itself. + [^compact-value-annotations]: Any text-syntax annotations preceding + the `#value` are prepended to any binary-syntax annotations + yielded by decoding the `ByteString`. + ### Annotations. **Syntax.** When written down, a `Value` may have an associated