Skip to content

Commit

Permalink
check some unused return types
Browse files Browse the repository at this point in the history
  • Loading branch information
bakkot committed Feb 1, 2022
1 parent 502de52 commit 9cbe814
Showing 1 changed file with 16 additions and 13 deletions.
29 changes: 16 additions & 13 deletions spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -9420,7 +9420,7 @@ <h1>
Runtime Semantics: BindingInitialization (
_value_: unknown,
_environment_: unknown,
): a Completion Record
): a Completion Record normally containing ~unused~
</h1>
<dl class="header">
</dl>
Expand Down Expand Up @@ -9482,14 +9482,14 @@ <h1>
_name_: a String,
_value_: unknown,
_environment_: unknown,
): a Completion Record
): a Completion Record normally containing ~unused~
</h1>
<dl class="header">
</dl>
<emu-alg>
1. If _environment_ is not *undefined*, then
1. Perform _environment_.InitializeBinding(_name_, _value_).
1. Return NormalCompletion(*undefined*).
1. Return NormalCompletion(~unused~).
1. Else,
1. Let _lhs_ be ? ResolveBinding(_name_).
1. Return ? PutValue(_lhs_, _value_).
Expand All @@ -9502,7 +9502,7 @@ <h1>
Runtime Semantics: IteratorBindingInitialization (
_iteratorRecord_: unknown,
_environment_: unknown,
): a Completion Record
): a Completion Record normally containing ~unused~
</h1>
<dl class="header">
</dl>
Expand Down Expand Up @@ -21089,7 +21089,8 @@ <h1>Runtime Semantics: Evaluation</h1>
<emu-grammar>LexicalBinding : BindingIdentifier</emu-grammar>
<emu-alg>
1. Let _lhs_ be Completion(ResolveBinding(StringValue of |BindingIdentifier|)).
1. Return Completion(InitializeReferencedBinding(_lhs_, *undefined*)).
1. Perform ? InitializeReferencedBinding(_lhs_, *undefined*).
1. Return NormalCompletion(~empty~).
</emu-alg>
<emu-note>
<p>A static semantics rule ensures that this form of |LexicalBinding| never occurs in a `const` declaration.</p>
Expand All @@ -21103,7 +21104,8 @@ <h1>Runtime Semantics: Evaluation</h1>
1. Else,
1. Let _rhs_ be the result of evaluating |Initializer|.
1. Let _value_ be ? GetValue(_rhs_).
1. Return Completion(InitializeReferencedBinding(_lhs_, _value_)).
1. Perform ? InitializeReferencedBinding(_lhs_, _value_).
1. Return NormalCompletion(~empty~).
</emu-alg>
<emu-grammar>LexicalBinding : BindingPattern Initializer</emu-grammar>
<emu-alg>
Expand Down Expand Up @@ -21161,7 +21163,8 @@ <h1>Runtime Semantics: Evaluation</h1>
1. Else,
1. Let _rhs_ be the result of evaluating |Initializer|.
1. Let _value_ be ? GetValue(_rhs_).
1. [id="step-vardecllist-evaluation-putvalue"] Return ? PutValue(_lhs_, _value_).
1. [id="step-vardecllist-evaluation-putvalue"] Perform ? PutValue(_lhs_, _value_).
1. Return NormalCompletion(~empty~).
</emu-alg>
<emu-note>
<p>If a |VariableDeclaration| is nested within a with statement and the |BindingIdentifier| in the |VariableDeclaration| is the same as a property name of the binding object of the with statement's object Environment Record, then step <emu-xref href="#step-vardecllist-evaluation-putvalue"></emu-xref> will assign _value_ to the property instead of assigning to the VariableEnvironment binding of the |Identifier|.</p>
Expand Down Expand Up @@ -24987,10 +24990,10 @@ <h1>
<emu-alg>
1. Let _promiseCapability_ be ! NewPromiseCapability(%Promise%).
1. Let _declResult_ be Completion(FunctionDeclarationInstantiation(_functionObject_, _argumentsList_)).
1. If _declResult_ is not an abrupt completion, then
1. Perform AsyncFunctionStart(_promiseCapability_, |FunctionBody|).
1. Else,
1. If _declResult_ is an abrupt completion, then
1. Perform ! Call(_promiseCapability_.[[Reject]], *undefined*, &laquo; _declResult_.[[Value]] &raquo;).
1. Else,
1. Perform AsyncFunctionStart(_promiseCapability_, |FunctionBody|).
1. Return Completion { [[Type]]: ~return~, [[Value]]: _promiseCapability_.[[Promise]], [[Target]]: ~empty~ }.
</emu-alg>
</emu-clause>
Expand Down Expand Up @@ -25094,10 +25097,10 @@ <h1>
<emu-alg>
1. Let _promiseCapability_ be ! NewPromiseCapability(%Promise%).
1. Let _declResult_ be Completion(FunctionDeclarationInstantiation(_functionObject_, _argumentsList_)).
1. If _declResult_ is not an abrupt completion, then
1. Perform AsyncFunctionStart(_promiseCapability_, |ExpressionBody|).
1. Else,
1. If _declResult_ is an abrupt completion, then
1. Perform ! Call(_promiseCapability_.[[Reject]], *undefined*, &laquo; _declResult_.[[Value]] &raquo;).
1. Else,
1. Perform AsyncFunctionStart(_promiseCapability_, |ExpressionBody|).
1. Return Completion { [[Type]]: ~return~, [[Value]]: _promiseCapability_.[[Promise]], [[Target]]: ~empty~ }.
</emu-alg>
</emu-clause>
Expand Down

0 comments on commit 9cbe814

Please sign in to comment.