From a4c7da98437940da99ced5becce149763ef8f167 Mon Sep 17 00:00:00 2001 From: Michael Dyck Date: Sun, 17 Apr 2022 21:05:12 -0400 Subject: [PATCH] Editorial: Bugfix: Prevent mis-application of Implicit Normal Completion (#2744) Formerly, in the Evaluation semantics for `Block`, the return of `_blockValue_` was subject to implicit NormalCompletion, but this wasn't valid when it was an abrupt completion. --- spec.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec.html b/spec.html index 8d4514d5112..7f2e26af0b2 100644 --- a/spec.html +++ b/spec.html @@ -21062,7 +21062,7 @@

Runtime Semantics: Evaluation

1. Set the running execution context's LexicalEnvironment to _blockEnv_. 1. Let _blockValue_ be Completion(Evaluation of |StatementList|). 1. Set the running execution context's LexicalEnvironment to _oldEnv_. - 1. Return _blockValue_. + 1. Return ? _blockValue_.

No matter how control leaves the |Block| the LexicalEnvironment is always restored to its former state.