Skip to content
This repository has been archived by the owner on Jan 25, 2022. It is now read-only.

Commit

Permalink
Communicate infallibility of invocation
Browse files Browse the repository at this point in the history
Invoking ResolveBinding with a PrivateEnvironment can never result in an
abrupt completion because every environment in the "chain" of
PrivateEnvironments is a declarative environment, and HasBinding for
declarative environments never returns an abrupt completion.
  • Loading branch information
jugglinmike committed Feb 27, 2021
1 parent 9c9a162 commit c6fe601
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -1695,7 +1695,7 @@ <h1>MakeReference ( _baseValue_, _referencedName_, _strict_ )</h1>
<h1>MakePrivateReference ( _baseValue_, _privateIdentifier_ )</h1>
<emu-alg>
1. Let _env_ be the running execution context's PrivateEnvironment.</ins>
1. Let _privateNameBinding_ be ? ResolveBinding(_privateIdentifier_, _env_).</ins>
1. Let _privateNameBinding_ be ! ResolveBinding(_privateIdentifier_, _env_).</ins>
1. Let _privateName_ be GetValue(_privateNameBinding_).
1. Assert: _privateName_ is a Private Name.
1. Return a value of type Reference whose base value is _baseValue_, whose referenced name is _privateName_, whose strict reference flag is *true*.
Expand Down

0 comments on commit c6fe601

Please sign in to comment.