Skip to content

Editorial: module namespace exotic objects are immutable prototype exotic objects #3611

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

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

Editorial: module namespace exotic objects are immutable prototype exotic objects #3611

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
a6b464d
Editorial: module namespace EOs are immutable prototype EOs
michaelficarra May 20, 2025
ce30d0a
this sentence doesn't have any reason to be a parenthetical
michaelficarra May 20, 2025
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
39 changes: 5 additions & 34 deletions spec.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15183,8 +15183,8 @@ <h1>

<emu-clause id="sec-module-namespace-exotic-objects">
<h1>Module Namespace Exotic Objects</h1>
<p>A module namespace exotic object is an exotic object that exposes the bindings exported from an ECMAScript |Module| (See <emu-xref href="#sec-exports"></emu-xref>). There is a one-to-one correspondence between the String-keyed own properties of a module namespace exotic object and the binding names exported by the |Module|. The exported bindings include any bindings that are indirectly exported using `export *` export items. Each String-valued own property key is the StringValue of the corresponding exported binding name. These are the only String-keyed properties of a module namespace exotic object. Each such property has the attributes { [[Writable]]: *true*, [[Enumerable]]: *true*, [[Configurable]]: *false* }. Module namespace exotic objects are not extensible.</p>
<p>An object is a <dfn id="module-namespace-exotic-object" variants="module namespace exotic objects">module namespace exotic object</dfn> if its [[GetPrototypeOf]], [[SetPrototypeOf]], [[IsExtensible]], [[PreventExtensions]], [[GetOwnProperty]], [[DefineOwnProperty]], [[HasProperty]], [[Get]], [[Set]], [[Delete]], and [[OwnPropertyKeys]] internal methods use the definitions in this section, and its other essential internal methods use the definitions found in <emu-xref href="#sec-ordinary-object-internal-methods-and-internal-slots"></emu-xref>. These methods are installed by ModuleNamespaceCreate.</p>
<p>A module namespace exotic object is an immutable prototype exotic object that exposes the bindings exported from an ECMAScript |Module| (See <emu-xref href="#sec-exports"></emu-xref>). There is a one-to-one correspondence between the String-keyed own properties of a module namespace exotic object and the binding names exported by the |Module|. The exported bindings include any bindings that are indirectly exported using `export *` export items. Each String-valued own property key is the StringValue of the corresponding exported binding name. These are the only String-keyed properties of a module namespace exotic object. Each such property has the attributes { [[Writable]]: *true*, [[Enumerable]]: *true*, [[Configurable]]: *false* }. Module namespace exotic objects are not extensible.</p>
<p>An object is a <dfn id="module-namespace-exotic-object" variants="module namespace exotic objects">module namespace exotic object</dfn> if its [[GetPrototypeOf]], [[IsExtensible]], [[PreventExtensions]], [[GetOwnProperty]], [[DefineOwnProperty]], [[HasProperty]], [[Get]], [[Set]], [[Delete]], and [[OwnPropertyKeys]] internal methods use the definitions in this section, its [[SetPrototypeOf]] internal method uses the definition in <emu-xref href="#sec-immutable-prototype-exotic-objects-setprototypeof-v"></emu-xref> (thus, it is an immutable prototype exotic object), and its other essential internal methods use the definitions found in <emu-xref href="#sec-ordinary-object-internal-methods-and-internal-slots"></emu-xref>. These methods are installed by ModuleNamespaceCreate.</p>
<p>Module namespace exotic objects have the internal slots defined in <emu-xref href="#table-internal-slots-of-module-namespace-exotic-objects"></emu-xref>.</p>
<emu-table id="table-internal-slots-of-module-namespace-exotic-objects" caption="Internal Slots of Module Namespace Exotic Objects" oldids="table-29">
<table>
Expand Down Expand Up @@ -15237,21 +15237,6 @@ <h1>[[GetPrototypeOf]] ( ): a normal completion containing *null*</h1>
</emu-alg>
</emu-clause>

<emu-clause id="sec-module-namespace-exotic-objects-setprototypeof-v" type="internal method">
<h1>
[[SetPrototypeOf]] (
_V_: an Object or *null*,
): a normal completion containing a Boolean
</h1>
<dl class="header">
<dt>for</dt>
<dd>a module namespace exotic object _O_</dd>
</dl>
<emu-alg>
1. Return ! SetImmutablePrototype(_O_, _V_).
</emu-alg>
</emu-clause>

<emu-clause id="sec-module-namespace-exotic-objects-isextensible" type="internal method">
<h1>[[IsExtensible]] ( ): a normal completion containing *false*</h1>
<dl class="header">
Expand Down Expand Up @@ -15446,13 +15431,13 @@ <h1>
<h1>Immutable Prototype Exotic Objects</h1>
<p>An immutable prototype exotic object is an exotic object that has a [[Prototype]] internal slot that will not change once it is initialized.</p>

<p>An object is an <dfn id="immutable-prototype-exotic-object" variants="immutable prototype exotic objects">immutable prototype exotic object</dfn> if its [[SetPrototypeOf]] internal method uses the following implementation. (Its other essential internal methods may use any implementation, depending on the specific immutable prototype exotic object in question.)</p>
<p>An object is an <dfn id="immutable-prototype-exotic-object" variants="immutable prototype exotic objects">immutable prototype exotic object</dfn> if its [[SetPrototypeOf]] internal method uses the following implementation. Its other essential internal methods may use any implementation, depending on the specific immutable prototype exotic object in question.</p>

<emu-note>
<p>Unlike other exotic objects, there is not a dedicated creation abstract operation provided for immutable prototype exotic objects. This is because they are only used by %Object.prototype% and by host environments, and in host environments, the relevant objects are potentially exotic in other ways and thus need their own dedicated creation operation.</p>
<p>Unlike other exotic objects, there is not a dedicated creation abstract operation provided for immutable prototype exotic objects. This is because they are only used by %Object.prototype%, module namespace exotic objects, and by host environments, and in host environments, the relevant objects are potentially exotic in other ways and thus need their own dedicated creation operation.</p>
</emu-note>

<emu-clause id="sec-immutable-prototype-exotic-objects-setprototypeof-v" type="internal method">
<emu-clause id="sec-immutable-prototype-exotic-objects-setprototypeof-v" oldids="sec-set-immutable-prototype,sec-module-namespace-exotic-objects-setprototypeof-v" type="internal method">
<h1>
[[SetPrototypeOf]] (
_V_: an Object or *null*,
Expand All @@ -15462,20 +15447,6 @@ <h1>
<dt>for</dt>
<dd>an immutable prototype exotic object _O_</dd>
</dl>
<emu-alg>
1. Return ? SetImmutablePrototype(_O_, _V_).
</emu-alg>
</emu-clause>

<emu-clause id="sec-set-immutable-prototype" type="abstract operation">
<h1>
SetImmutablePrototype (
_O_: an Object,
_V_: an Object or *null*,
): either a normal completion containing a Boolean or a throw completion
</h1>
<dl class="header">
</dl>
<emu-alg>
1. Let _current_ be ? <emu-meta effects="user-code">_O_.[[GetPrototypeOf]]</emu-meta>().
1. If SameValue(_V_, _current_) is *true*, return *true*.
Expand Down