From 808b991a359eb77173fb19c748e88dbd517ad248 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Fri, 25 Feb 2022 14:49:24 +0100 Subject: [PATCH] Tweak: execution instead of evaluation --- src/operation/scripting.md | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/src/operation/scripting.md b/src/operation/scripting.md index 03da25b..933cfd1 100644 --- a/src/operation/scripting.md +++ b/src/operation/scripting.md @@ -120,7 +120,7 @@ the contents of a variable, use the `+=` form of *AssertionInstruction*.     `<`*ValueExpr*` `*ValueExpr*...`>` |     `{`*ValueExpr*`:`*ValueExpr*` `...`}` -The most general form of *AssertionInstruction* is "`+= `*ValueExpr*". When evaluated, the +The most general form of *AssertionInstruction* is "`+= `*ValueExpr*". When executed, the result of evaluating *ValueExpr* will be published (asserted) at the entity denoted by the active target register. @@ -131,7 +131,7 @@ As a convenient shorthand, the compiler also interprets every Preserves record o *SendInstruction* = `! `*ValueExpr* -When evaluated, the result of evaluating *ValueExpr* will be sent as a message to the entity +When executed, the result of evaluating *ValueExpr* will be sent as a message to the entity denoted by the active target register. ### Reacting to events @@ -183,10 +183,10 @@ facet terminates, *Instruction* is run.     *ValueExpr* Values can be destructured and new variables introduced into the environment with `let`, which -is a "destructuring bind" or "pattern-match definition" statement. When evaluated, the result -of evaluating *ConvenienceExpr* is matched against the result of evaluating *PatternExpr*. If -the match fails, the actor crashes. If the match succeeds, the resulting binding variables (if -any) are introduced into the environment. +is a "destructuring bind" or "pattern-match definition" statement. When executed, the result of +evaluating *ConvenienceExpr* is matched against the result of evaluating *PatternExpr*. If the +match fails, the actor crashes. If the match succeeds, the resulting binding variables (if any) +are introduced into the environment. The right-hand-side of a `let`, after the equals sign, is either a normal *ValueExpr* or one of the following special "convenience" expressions: @@ -200,15 +200,15 @@ the following special "convenience" expressions: `stop` to the entity (using e.g. the *SendInstruction* "`! stop`") triggers termination of its associated facet. The entity does not respond to any other assertion or message. -### Conditional evaluation +### Conditional execution *ConditionalInstruction* = `$`*var*` =~ `*PatternExpr*` `*Instruction*` `*Instruction* ... -When evaluated, the value in variable *var* is matched against the result of evaluating +When executed, the value in variable *var* is matched against the result of evaluating *PatternExpr*. - If the match succeeds, the resulting bound variables are placed in the environment and - evaluation continues with the first *Instruction*. The subsequent *Instruction*s are not + execution continues with the first *Instruction*. The subsequent *Instruction*s are not executed in this case. - If the match fails, then the first *Instruction* is skipped, and the subsequent