Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Editorial: [[HomeObject]] is always an ordinary object #3407

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Editorial: [[HomeObject]] is always an ordinary object #3407

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 8 additions & 7 deletions spec.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10676,16 +10676,16 @@ <h1>GetThisBinding ( ): either a normal completion containing an ECMAScript lang
</emu-clause>

<emu-clause id="sec-getsuperbase" type="concrete method">
<h1>GetSuperBase ( ): either a normal completion containing either an Object, *null*, or *undefined*, or a throw completion</h1>
<h1>GetSuperBase ( ): an Object, *null*, or *undefined*</h1>
<dl class="header">
<dt>for</dt>
<dd>a Function Environment Record _envRec_</dd>
</dl>
<emu-alg>
1. Let _home_ be _envRec_.[[FunctionObject]].[[HomeObject]].
1. If _home_ is *undefined*, return *undefined*.
1. Assert: _home_ is an Object.
1. Return ? <emu-meta effects="user-code">_home_.[[GetPrototypeOf]]</emu-meta>().
1. Assert: _home_ is an ordinary object.
1. Return ! _home_.[[GetPrototypeOf]]().
</emu-alg>
</emu-clause>
</emu-clause>
Expand Down Expand Up @@ -13597,6 +13597,7 @@ <h1>
<dd>It configures _F_ as a method.</dd>
</dl>
<emu-alg>
1. Assert: _homeObject_ is an ordinary object.
1. Set _F_.[[HomeObject]] to _homeObject_.
1. Return ~unused~.
</emu-alg>
Expand Down Expand Up @@ -19325,15 +19326,15 @@ <h1>Runtime Semantics: Evaluation</h1>
1. Let _propertyNameValue_ be ? GetValue(_propertyNameReference_).
1. Let _strict_ be IsStrict(this |SuperProperty|).
1. NOTE: In most cases, ToPropertyKey will be performed on _propertyNameValue_ immediately after this step. However, in the case of `super[b] = c`, it will not be performed until after evaluation of `c`.
1. Return ? MakeSuperPropertyReference(_actualThis_, _propertyNameValue_, _strict_).
1. Return MakeSuperPropertyReference(_actualThis_, _propertyNameValue_, _strict_).
</emu-alg>
<emu-grammar>SuperProperty : `super` `.` IdentifierName</emu-grammar>
<emu-alg>
1. Let _env_ be GetThisEnvironment().
1. Let _actualThis_ be ? _env_.GetThisBinding().
1. Let _propertyKey_ be the StringValue of |IdentifierName|.
1. Let _strict_ be IsStrict(this |SuperProperty|).
1. Return ? MakeSuperPropertyReference(_actualThis_, _propertyKey_, _strict_).
1. Return MakeSuperPropertyReference(_actualThis_, _propertyKey_, _strict_).
</emu-alg>
<emu-grammar>SuperCall : `super` Arguments</emu-grammar>
<emu-alg>
Expand Down Expand Up @@ -19372,14 +19373,14 @@ <h1>
_actualThis_: an ECMAScript language value,
_propertyKey_: an ECMAScript language value,
_strict_: a Boolean,
): either a normal completion containing a Super Reference Record or a throw completion
): a Super Reference Record
</h1>
<dl class="header">
</dl>
<emu-alg>
1. Let _env_ be GetThisEnvironment().
1. Assert: _env_.HasSuperBinding() is *true*.
1. Let _baseValue_ be ? _env_.GetSuperBase().
1. Let _baseValue_ be _env_.GetSuperBase().
1. Return the Reference Record { [[Base]]: _baseValue_, [[ReferencedName]]: _propertyKey_, [[Strict]]: _strict_, [[ThisValue]]: _actualThis_ }.
</emu-alg>
</emu-clause>
Expand Down
Loading