Skip to content

Commit

Permalink
Normative: Fix bogus assert in NotifyWaiter (#1712)
Browse files Browse the repository at this point in the history
NotifyWaiter is always called immediately after W is removed from the waiter
list.
  • Loading branch information
syg authored and ljharb committed Oct 1, 2019
1 parent c5ee909 commit 20706ef
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -37332,7 +37332,6 @@ <h1>NotifyWaiter ( _WL_, _W_ )</h1>
<p>The abstract operation NotifyWaiter takes two arguments, a WaiterList _WL_ and an agent signifier _W_. It performs the following steps:</p>
<emu-alg>
1. Assert: The calling agent is in the critical section for _WL_.
1. Assert: _W_ is on the list of waiters in _WL_.
1. Let _execution_ be the [[CandidateExecution]] field of the surrounding agent's Agent Record.
1. Let _eventsRecord_ be the Agent Events Record in _execution_.[[EventsRecords]] whose [[AgentSignifier]] is AgentSignifier().
1. Let _agentSynchronizesWith_ be _eventsRecord_.[[AgentSynchronizesWith]].
Expand Down

0 comments on commit 20706ef

Please sign in to comment.