From 177b3eb7d4103744b44e4b9283a2506d034c0ba8 Mon Sep 17 00:00:00 2001 From: Kevin Gibbons Date: Sat, 24 Jul 2021 17:17:44 -0700 Subject: [PATCH] address jmdyck comments --- spec.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/spec.html b/spec.html index 979d1060a1..5139d8f52a 100644 --- a/spec.html +++ b/spec.html @@ -4065,8 +4065,8 @@

Await

1. Let _outerContext_ be the running execution context. 1. NOTE: _outerContext_ is the execution context for the evaluation of the operation that had most previously resumed evaluation of _asyncContext_. 1. Resume _outerContext_. - 1. Assert: If control reaches here, _asyncContext_ is once again the running execution context. - 1 Let _completion_ be the Completion Record with which _asyncContext_ was resumed. + 1. Assert: If control reaches here, then _asyncContext_ is once again the running execution context. + 1. Let _completion_ be the Completion Record with which _asyncContext_ was resumed.

where all aliases in the above steps, with the exception of _completion_, are ephemeral and visible only in the steps pertaining to Await.

@@ -44626,7 +44626,7 @@

1. Assert: If we return here, the generator either threw an exception or performed either an implicit or explicit return. 1. Remove _genContext_ from the execution context stack and restore the execution context that is at the top of the execution context stack as the running execution context. 1. Set _generator_.[[GeneratorState]] to ~completed~. - 1. NOTE: once a generator enters the ~completed~ state it never leaves it and its associated execution context is never resumed. Any execution state associated with _generator_ can be discarded at this point. + 1. NOTE: Once a generator enters the ~completed~ state it never leaves it and its associated execution context is never resumed. Any execution state associated with _generator_ can be discarded at this point. 1. If _result_.[[Type]] is ~normal~, then 1. Let _resultValue_ be CreateIterResultObject(*undefined*, *true*). 1. Let _resultCompletion_ be NormalCompletion(_resultValue_). @@ -44754,7 +44754,7 @@

1. Let _outerContext_ be the running execution context. 1. NOTE: _outerContext_ is the execution context for the evaluation of the operation that had most previously resumed evaluation of _genContext_. 1. Resume _outerContext_ passing NormalCompletion(_iterNextObj_). - 1. Assert: If control reaches here, _genContext_ is once again the running execution context. + 1. Assert: If control reaches here, then _genContext_ is once again the running execution context. 1. Let _resumptionValue_ be the Completion Record with which _genContext_ was resumed. 1. Return _resumptionValue_. 1. NOTE: This returns to the evaluation of the |YieldExpression| that originally called this abstract operation. @@ -45135,10 +45135,10 @@

1. Let _outerContext_ be the running execution context. 1. NOTE: _outerContext_ is the execution context for the evaluation of the operation that had most previously resumed evaluation of _genContext_. 1. Resume _outerContext_. - 1. Assert: If control reaches here, _genContext_ is once again the running execution context. + 1. Assert: If control reaches here, then _genContext_ is once again the running execution context. 1. Let _resumptionValue_ be the Completion Record with which _genContext_ was resumed. 1. Return AsyncGeneratorUnwrapYieldResumption(_resumptionValue_). - 1. NOTE: when the above step returns, it returns to the evaluation of the |YieldExpression| production that originally called this abstract operation. + 1. NOTE: When the above step returns, it returns to the evaluation of the |YieldExpression| production that originally called this abstract operation.