Another
This commit is contained in:
parent
1e19ecef6e
commit
e9001bece7
|
@ -316,9 +316,9 @@ Additionally, record template labels (just after a "`<`") must be "literal-enoug
|
||||||
sub-part of the label *TemplateExpr* refers to a variable's value, the variable must have been
|
sub-part of the label *TemplateExpr* refers to a variable's value, the variable must have been
|
||||||
bound in the environment surrounding the *AttenuationExpr* that the *TemplateExpr* is part of,
|
bound in the environment surrounding the *AttenuationExpr* that the *TemplateExpr* is part of,
|
||||||
and must not be any of the capture variables from the *PatternExpr* corresponding to the
|
and must not be any of the capture variables from the *PatternExpr* corresponding to the
|
||||||
template. This is a constraint stemming from the definition of the syntax used for expressing
|
template. This is a constraint stemming from the definition of the [syntax used for expressing
|
||||||
capability attenuation in the underlying Syndicated Actor Model. (TODO: link to sturdy.prs
|
capability attenuation](../protocol.md#attenuation-of-authority) in the underlying Syndicated
|
||||||
documentation)
|
Actor Model.
|
||||||
|
|
||||||
## Examples
|
## Examples
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue