Note on annotation ordering (spelling out what was already implicit in the text)
This commit is contained in:
parent
087b8d6130
commit
c1077e2f35
|
@ -4,7 +4,7 @@ title: "Preserves: an Expressive Data Language"
|
||||||
---
|
---
|
||||||
|
|
||||||
Tony Garnock-Jones <tonyg@leastfixedpoint.com>
|
Tony Garnock-Jones <tonyg@leastfixedpoint.com>
|
||||||
May 2021. Version 0.6.0.
|
January 2022. Version 0.6.2.
|
||||||
|
|
||||||
[sexp.txt]: http://people.csail.mit.edu/rivest/Sexp.txt
|
[sexp.txt]: http://people.csail.mit.edu/rivest/Sexp.txt
|
||||||
[spki]: http://world.std.com/~cme/html/spki.html
|
[spki]: http://world.std.com/~cme/html/spki.html
|
||||||
|
@ -447,7 +447,8 @@ prefixing a `ByteString` containing the binary representation of the
|
||||||
**Syntax.** When written down, a `Value` may have an associated
|
**Syntax.** When written down, a `Value` may have an associated
|
||||||
sequence of *annotations* carrying “out-of-band” contextual metadata
|
sequence of *annotations* carrying “out-of-band” contextual metadata
|
||||||
about the value. Each annotation is, in turn, a `Value`, and may
|
about the value. Each annotation is, in turn, a `Value`, and may
|
||||||
itself have annotations.
|
itself have annotations. The ordering of annotations attached to a
|
||||||
|
`Value` is significant.
|
||||||
|
|
||||||
Value =/ ws "@" Value Value
|
Value =/ ws "@" Value Value
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue