Skip to content

Editorial: use Infra's equality for hosts, URLs, and URL paths #930

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 1 commit into from
Oct 6, 2026
Merged

Editorial: use Infra's equality for hosts, URLs, and URL paths #930

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
22 changes: 6 additions & 16 deletions url.bs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1648,7 +1648,7 @@ A Recommendation for IPv6 Address Text Representation.
<div algorithm>
<p>To determine whether a <a for=/>host</a> <var>A</var>
<dfn export for=host id=concept-host-equals lt=equal>equals</dfn> <a for=/>host</a> <var>B</var>,
return true if <var>A</var> is <var>B</var>, and false otherwise.
return true if <var>A</var> and <var>B</var> are <a for=/>equal</a>; otherwise false.
</div>

<p class=XXX>Certificate comparison requires a host equivalence check that ignores the
Expand Down Expand Up @@ -1813,6 +1813,9 @@ unified model would be, please file an issue.
represents a universal identifier. To disambiguate from a <a>valid URL string</a> it can also be
referred to as a <a for=/>URL record</a>.

<p>A <a for=/>URL</a>'s <a>equality</a>, given <a for=/>URLs</a> <var>A</var> and <var>B</var>,
returns true if <var>A</var> <a for=url>equals</a> <var>B</var>; otherwise false.

<p>A <a for=/>URL</a>'s <dfn export for=url id=concept-url-scheme>scheme</dfn> is an
<a>ASCII string</a> that identifies the type of <a for=/>URL</a> and can be used to
dispatch a <a for=/>URL</a> for further processing after <a lt="URL parser">parsing</a>.
Expand Down Expand Up @@ -3269,21 +3272,8 @@ run these steps:

<div algorithm="path equal">
<p>To determine whether a <a for=/>URL path</a> <var>A</var>
<dfn export for="URL path" lt=equal>equals</dfn> <a for=/>URL path</a> <var>B</var>, run these
steps. They return a boolean.

<ol>
<li><p>If <var>A</var> is a <a for=/>URL path segment</a> or <var>B</var> is a
<a for=/>URL path segment</a>, then return whether <var>A</var> <a for=string>is</a> <var>B</var>.

<li><p>If <var>A</var>'s <a for=list>size</a> is not <var>B</var>'s <a for=list>size</a>, then
return false.

<li><p><a for=list>For each</a> <var>index</var> of <var>A</var>'s <a for=list>indices</a>: if
<var>A</var>[<var>index</var>] is not <var>B</var>[<var>index</var>], then return false.

<li><p>Return true.
</ol>
<dfn export for="URL path" lt=equal>equals</dfn> <a for=/>URL path</a> <var>B</var>, return true
if <var>A</var> and <var>B</var> are <a for=/>equal</a>; otherwise false.

<p class=note>Comparing <a for=/>URL path segments</a> rather than serializations can matter as
distinct <a for=/>URL paths</a> can <a lt="URL path serializer">serialize</a> identically. E.g.,
Expand Down