Tweak
This commit is contained in:
parent
fd1e0d5258
commit
f11cacf513
|
@ -108,9 +108,9 @@ compiled and executed in order. NB: to publish a sequence of values, use the `+=
|
||||||
|
|
||||||
*RetargetInstruction* = `$`*var*
|
*RetargetInstruction* = `$`*var*
|
||||||
|
|
||||||
The target can be set with a plain variable reference. After compiling such an instruction, the
|
The target is set with a variable reference standing alone. After compiling such an
|
||||||
active target register will contain the variable name *var*. NB: to publish the contents of a
|
instruction, the active target register will contain the variable name *var*. NB: to publish
|
||||||
variable, use the `+=` form of *AssertionInstruction*.
|
the contents of a variable, use the `+=` form of *AssertionInstruction*.
|
||||||
|
|
||||||
### Publishing an assertion
|
### Publishing an assertion
|
||||||
|
|
||||||
|
@ -124,9 +124,8 @@ The most general form of *AssertionInstruction* is "`+= `*ValueExpr*". When eval
|
||||||
result of evaluating *ValueExpr* will be published (asserted) at the entity denoted by the
|
result of evaluating *ValueExpr* will be published (asserted) at the entity denoted by the
|
||||||
active target register.
|
active target register.
|
||||||
|
|
||||||
As a convenient shorthand, the compiler also interprets every plain Preserves record or
|
As a convenient shorthand, the compiler also interprets every Preserves record or dictionary in
|
||||||
dictionary in *Instruction* position as denoting a *ValueExpr* to be used to produce a value to
|
*Instruction* position as denoting a *ValueExpr* to be used to produce a value to be asserted.
|
||||||
be asserted.
|
|
||||||
|
|
||||||
### Sending a message
|
### Sending a message
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue