From c7fb7ee3d8562d6decff0d678330ffb6c6a30f97 Mon Sep 17 00:00:00 2001 From: Michael Dyck Date: Fri, 17 Feb 2023 13:52:34 -0800 Subject: [PATCH 1/2] Editorial: "U" -> "UnicodeMode" (#3017) Fixes bug from PR #2436. (The renaming happened in PR #2411.) --- spec.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/spec.html b/spec.html index 335753449c..7d246a41ad 100644 --- a/spec.html +++ b/spec.html @@ -36297,7 +36297,7 @@

1. If _u_ is *true*, then 1. Let _parseResult_ be ParseText(_patternText_, |Pattern[+UnicodeMode, +N]|). 1. Else, - 1. Let _parseResult_ be ParseText(_patternText_, |Pattern[~U, +N]|). + 1. Let _parseResult_ be ParseText(_patternText_, |Pattern[~UnicodeMode, +N]|). 1. Return _parseResult_. @@ -47643,11 +47643,11 @@

Static Semantics: ParsePattern ( _patternText_, _u_ )

The abstract operation ParsePattern takes arguments _patternText_ (a sequence of Unicode code points) and _u_ (a Boolean). It performs the following steps when called:

1. If _u_ is *true*, then - 1. Let _parseResult_ be ParseText(_patternText_, |Pattern[+U, +N]|). + 1. Let _parseResult_ be ParseText(_patternText_, |Pattern[+UnicodeMode, +N]|). 1. Else, - 1. Let _parseResult_ be ParseText(_patternText_, |Pattern[~U, ~N]|). + 1. Let _parseResult_ be ParseText(_patternText_, |Pattern[~UnicodeMode, ~N]|). 1. If _parseResult_ is a Parse Node and _parseResult_ contains a |GroupName|, then - 1. Set _parseResult_ to ParseText(_patternText_, |Pattern[~U, +N]|). + 1. Set _parseResult_ to ParseText(_patternText_, |Pattern[~UnicodeMode, +N]|). 1. Return _parseResult_. From d00fc6a444397ef29bc11007058ac89df12aa245 Mon Sep 17 00:00:00 2001 From: Michael Dyck Date: Fri, 17 Feb 2023 13:52:43 -0800 Subject: [PATCH 2/2] Editorial: Consistify re `Agent Events Record in/of ` (#3017) PR #2947 changed 6 occurrences of: `the element of _execution_.[[EventsRecords]] whose ...` to: `the Agent Events Record of _execution_.[[EventsRecords]] whose ...` But there were also 2 pre-existing occurrences of `the Agent Events Record in _execution_.[[EventsRecords]] whose ...` with "in" rather than "of", in {Enter,Leave}CriticalSection. To achieve consistency, this commit changes the latter (with "in") to match the former (with "of"). Roughly speaking, this conforms to PR #2941. --- spec.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spec.html b/spec.html index 7d246a41ad..439e85c1a5 100644 --- a/spec.html +++ b/spec.html @@ -42098,7 +42098,7 @@

1. If _WL_ has a Synchronize event, then 1. NOTE: A _WL_ whose critical section has been entered at least once has a Synchronize event set by LeaveCriticalSection. 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 _eventsRecord_ be the Agent Events Record of _execution_.[[EventsRecords]] whose [[AgentSignifier]] is AgentSignifier(). 1. Let _enterEvent_ be a new Synchronize event. 1. Append _enterEvent_ to _eventsRecord_.[[EventList]]. 1. Let _leaveEvent_ be the Synchronize event in _WL_. @@ -42119,7 +42119,7 @@

1. Assert: The surrounding agent is in the critical section for _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 _eventsRecord_ be the Agent Events Record of _execution_.[[EventsRecords]] whose [[AgentSignifier]] is AgentSignifier(). 1. Let _leaveEvent_ be a new Synchronize event. 1. Append _leaveEvent_ to _eventsRecord_.[[EventList]]. 1. Set the Synchronize event in _WL_ to _leaveEvent_.