Skip to content

Editorial: use Infra's identity and equality #189

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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
annevk merged 1 commit into from
Oct 8, 2026
Merged

Editorial: use Infra's identity and equality #189

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
7 changes: 2 additions & 5 deletions index.bs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -199,7 +199,7 @@ as well as how changes made to the data structures defined here are reflected ex
is left up to individual user-agent implementations.

A [=/file system entry=] |a| is <dfn for="file system entry">the same entry as</dfn>
a [=/file system entry=] |b| if |a| is equal to |b|, or
a [=/file system entry=] |b| if |a| [=/is=] |b|, or
if |a| and |b| are backed by the same file or directory on the local file system.

<div algorithm>
Expand Down Expand Up @@ -310,10 +310,7 @@ corresponding [=/file system entry=] is [=implementation-defined=].
There is no expectation that a file named `example.txt` exists anywhere on disk.

A [=/file system path=] |a| is <dfn for="file system path">the same path as</dfn>
a [=/file system path=] |b| if
|a|'s [=list/size=] is the same as |b|'s [=list/size=] and
[=list/for each=] |index| of |a|'s [=list/indices=]
|a|.\[[|index|]] is |b|.\[[|index|]].
a [=/file system path=] |b| if |a| [=/equals=] |b|.

<p class=warning> The contents of a [=/file system locator=], including its
[=file system locator/path=], are not expected to be shared in their entirety
Expand Down