Skip to content

Editorial: adopt Infra's equality #13039

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

Merged
annevk merged 2 commits into from
Oct 5, 2026
Merged

Editorial: adopt Infra's equality #13039

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b6abcdc
Adopt Infra's equality
annevk Oct 4, 2026
29e0b6f
fixup
annevk Oct 5, 2026
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
46 changes: 29 additions & 17 deletions source
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2281,6 +2281,9 @@ a.setAttribute('href', 'https://example.com/'); // change the content attribute
<dfn data-x-href="https://infra.spec.whatwg.org/#string-code-point-length">code point length</dfn></li>
<li id="case-sensitive">The string equality operations <dfn data-x-href="https://infra.spec.whatwg.org/#string-is">is</dfn> and
<dfn data-x-href="https://infra.spec.whatwg.org/#string-is">identical to</dfn></li>
<li>The <dfn data-x-href="https://infra.spec.whatwg.org/#equality">equality</dfn> of a data type,
<dfn data-x-href="https://infra.spec.whatwg.org/#equal">equals</dfn>, and
<dfn data-x-href="https://infra.spec.whatwg.org/#struct-itemwise-equality">itemwise equality</dfn></li>
<li><dfn data-x-href="https://infra.spec.whatwg.org/#scalar-value-string">scalar value string</dfn></li>
<li><dfn data-x-href="https://infra.spec.whatwg.org/#javascript-string-convert">convert</dfn></li>
<li><dfn data-x-href="https://infra.spec.whatwg.org/#ascii-string">ASCII string</dfn></li>
Expand Down Expand Up @@ -29459,6 +29462,8 @@ document.body.appendChild(wbr);</code></pre>
<dd>A <span data-x="concept-request-credentials-mode">credentials mode</span>
</dl>

<p>A <span>preload key</span>'s <span>equality</span> is <span>itemwise equality</span>.</p>

<p>A <dfn>preload entry</dfn> is a <span>struct</span>. It has the following <span data-x="struct
item">items</span>:</p>

Expand Down Expand Up @@ -93758,6 +93763,12 @@ dictionary <dfn dictionary>DragEventInit</dfn> : <span>MouseEventInit</span> {

<div w-nodev>

<div algorithm>
<p>An <span>origin</span>'s <span>equality</span>, given <span data-x="origin">origins</span>
<var>A</var> and <var>B</var>, returns true if <var>A</var> and <var>B</var> are
<span>same origin</span>; otherwise false.</p>
</div>

<div algorithm>
<p>The <dfn export data-x="concept-origin-effective-domain">effective domain</dfn> of an
<span>origin</span> <var>origin</var> is computed as follows:</p>
Expand Down Expand Up @@ -93821,9 +93832,10 @@ dictionary <dfn dictionary>DragEventInit</dfn> : <span>MouseEventInit</span> {
origin</span>, then return true.</p></li>

<li><p>If <var>A</var> and <var>B</var> are both <span data-x="concept-origin-tuple">tuple
origins</span> and their <span data-x="concept-origin-scheme">schemes</span>, <span
data-x="concept-origin-host">hosts</span>, and <span data-x="concept-origin-port">port</span>
are identical, then return true.</p></li>
origins</span>, their <span data-x="concept-origin-scheme">schemes</span> and <span
data-x="concept-origin-port">ports</span> are identical, and their <span
data-x="concept-origin-host">hosts</span> are <span data-x="host equals">equal</span>, then
return true.</p></li>

<li><p>Return false.</p></li>
</ol>
Expand Down Expand Up @@ -96983,8 +96995,8 @@ interface <dfn interface data-x="dom-Origin-interface">Origin</dfn> {

<ol>
<li><p>If the value of the <span>[[CrossOriginPropertyDescriptorMap]]</span> internal slot of
<var>O</var> contains an entry whose key is <var>crossOriginKey</var>, then return that
entry's value.</p></li>
<var>O</var> contains an entry whose key <span>equals</span> <var>crossOriginKey</var>, then
return that entry's value.</p></li>

<li><p>Let <var>originalDesc</var> be <span>OrdinaryGetOwnProperty</span>(<var>O</var>,
<var>P</var>).</p></li>
Expand Down Expand Up @@ -108836,8 +108848,8 @@ location.href = '#foo';</code></pre>
context</span> whose <span>opener browsing context</span> is non-null; and</p></li>

<li><p><var>historyEntry</var>'s <span data-x="she-document">document</span>'s <span
data-x="concept-document-origin">origin</span> is not <var>navigable</var>'s <span
data-x="nav-document">active document</span>'s <span
data-x="concept-document-origin">origin</span> is not <span>same origin</span> with
<var>navigable</var>'s <span data-x="nav-document">active document</span>'s <span
data-x="concept-document-origin">origin</span>,</p></li>
</ul>

Expand Down Expand Up @@ -111860,9 +111872,10 @@ location.href = '#foo';</code></pre>

<li>
<p>If <var>targetEntry</var>'s <span data-x="she-document">document</span>'s <span
data-x="concept-document-origin">origin</span> is not <var>oldOrigin</var>, then set
<var>targetEntry</var>'s <span data-x="she-classic-history-api-state">classic history API
state</span> to <span>StructuredSerializeForStorage</span>(null).</p>
data-x="concept-document-origin">origin</span> is not <span>same origin</span> with
<var>oldOrigin</var>, then set <var>targetEntry</var>'s <span
data-x="she-classic-history-api-state">classic history API state</span> to
<span>StructuredSerializeForStorage</span>(null).</p>

<p class="note">This clears history state when the origin changed vs a previous load of
<var>targetEntry</var> without a redirect occuring. This can happen due to a change in CSP
Expand All @@ -111880,7 +111893,8 @@ location.href = '#foo';</code></pre>
context</span> whose <span>opener browsing context</span> is non-null; and</p></li>

<li><p><var>targetEntry</var>'s <span data-x="she-document">document</span>'s <span
data-x="concept-document-origin">origin</span> is not <var>oldOrigin</var>,</p></li>
data-x="concept-document-origin">origin</span> is not <span>same origin</span> with
<var>oldOrigin</var>,</p></li>
</ul>

<p>then set <var>targetEntry</var>'s <span data-x="she-document-state">document
Expand Down Expand Up @@ -127979,13 +127993,11 @@ dictionary <dfn dictionary>SanitizerConfig</dfn> {
boolean <dfn dict-member for="SanitizerConfig" data-x="dom-SanitizerConfig-javascriptURLs">javascriptURLs</dfn>;
};</code></pre>

<p><code>SanitizerElementNamespace</code>, <code>SanitizerAttributeNamespace</code>,
<p class="note"><code>SanitizerElementNamespace</code>, <code>SanitizerAttributeNamespace</code>,
<code>SanitizerElementNamespaceWithAttributes</code>, and
<code>SanitizerProcessingInstruction</code> dictionaries are considered equal when all of their
members are equal.</p>

<p class="XXX">Equality should be defined in the infra spec instead. See <a
href="https://github.com/whatwg/infra/issues/664">issue #664</a>.</p>
<code>SanitizerProcessingInstruction</code> dictionaries are <span data-x="equals">equal</span>
when they have the same members and those are equal, per the <span>equality</span> of <span
data-x="ordered map">maps</span>.</p>

<h5>Configuration invariants</h5>

Expand Down
Loading