<dict ...>
patterns in dataspacePatterns.prs need an ordering specified #3
Loading…
Reference in New Issue
No description provided.
Delete Branch "%!s(<nil>)"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
<dict ...>
patterns in dataspacePatterns.prs need an ordering specified, because bindings are numbered, not named.Proposal: require traversal of subpatterns in Preserves-order of keys in the pattern.
Alternative possibility: have
<dict [[@key any @pattern Pattern] ...]>
with a side-condition on uniqueness ofkey
s. Upside is doesn't require sorting in the match implementation; downsides are (1) patterns that should compare equal don't (2) side-condition means a separate validation step on a pattern has to be performed after it is read and parsed.Ordering specified here: https://synit.org/book/protocols/syndicate/dataspacePatterns.html#compound. Probably also should be spelled out in
dataspacePatterns.prs
itself?