Skip to content

Commit

Permalink
More changes from @jmdyck review
Browse files Browse the repository at this point in the history
  • Loading branch information
justingrant committed Apr 4, 2023
1 parent c99d650 commit 16ebedc
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -32226,8 +32226,8 @@ <h1>
<emu-clause id="sec-time-zone-identifier-record">
<h1>Time Zone Identifier Record</h1>
<p>A <dfn variants="Time Zone Identifier Records">Time Zone Identifier Record</dfn> is a Record used to describe an available time zone identifier, as well as the primary time zone identifier corresponding to it.</p>
<p>Time Zone Identifier Records have the fields listed in <emu-xref href="#table-time-zone-identifier-record"></emu-xref>.</p>
<emu-table id="table-time-zone-identifier-record" caption="Time Zone Identifier Record Fields">
<p>Time Zone Identifier Records have the fields listed in <emu-xref href="#table-time-zone-identifier-record-fields"></emu-xref>.</p>
<emu-table id="table-time-zone-identifier-record-fields" caption="Time Zone Identifier Record Fields">
<table>
<tr>
<th>Field Name</th>
Expand Down Expand Up @@ -32260,7 +32260,7 @@ <h1>AvailableTimeZoneIdentifiers ( ): a List of Time Zone Identifier Records</h1
<dt>description</dt>
<dd>
Its result describes all available time zone identifiers in this implementation, as well as the primary time zone identifier corresponding to each available identifier.
The List is sorted by [[Identifier]] of each Record.
The List is sorted by [[Identifier]] of each Time Zone Identifier Record.
</dd>
</dl>

Expand All @@ -32276,9 +32276,9 @@ <h1>AvailableTimeZoneIdentifiers ( ): a List of Time Zone Identifier Records</h1
1. Set _primary_ to the name of the primary time zone identifier that _identifier_ resolves to.
1. NOTE: If _identifier_ resolves to another non-primary time zone identifier, then the implementation must continue resolution of the entire chain until its terminal primary time zone identifier.
1. If _primary_ is one of *"Etc/UTC"*, *"Etc/GMT"*, or *"GMT"*, set _primary_ to *"UTC"*.
1. Let _record_ be the Record { [[Identifier]]: _identifier_, [[PrimaryIdentifier]]: _primary_ }.
1. Let _record_ be the Time Zone Identifier Record { [[Identifier]]: _identifier_, [[PrimaryIdentifier]]: _primary_ }.
1. Append _record_ to the end of _result_.
1. Assert: One element of _result_ is the Record { [[Identifier]]: *"UTC"*, [[PrimaryIdentifier]]: *"UTC"* }.
1. Assert: One element of _result_ is the Time Zone Identifier Record { [[Identifier]]: *"UTC"*, [[PrimaryIdentifier]]: *"UTC"* }.
1. Return _result_.
</emu-alg>

Expand Down

0 comments on commit 16ebedc

Please sign in to comment.