syndicate-lang
/
preserves
mirror of https://gitlab.com/preserves/preserves.git
1
0
Fork 1
Code Releases Activity

Note re annotations and compact values

This commit is contained in:
Tony Garnock-Jones 2019-08-20 20:32:58 +01:00
parent fd87f07ec0
commit 9de37d5df0
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
preserves.md
View File

@ -364,7 +364,8 @@ double quote mark.
Finally, any `Value` may be represented by escaping from the textual Finally, any `Value` may be represented by escaping from the textual
syntax to the [compact binary syntax](#compact-binary-syntax) by syntax to the [compact binary syntax](#compact-binary-syntax) by
prefixing a `ByteString` containing the binary representation of the 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 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 structure at all. It would be incoherent to expect to be able to
access the representation of the text from within the text itself. 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. ### Annotations.
**Syntax.** When written down, a `Value` may have an associated **Syntax.** When written down, a `Value` may have an associated