From 1f6ac07cab8f5eb55f08a9ae978c1be168969f63 Mon Sep 17 00:00:00 2001 From: Jungyeom Kim Date: Wed, 15 Jan 2025 23:20:46 -0800 Subject: [PATCH] Editorial: Allocate-and-use in MakeMatchIndicesIndexPairArray for refinement (#3495) --- esmeta-ignore.json | 1 - spec.html | 9 +++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/esmeta-ignore.json b/esmeta-ignore.json index ce41006ac1..a6f09c4245 100644 --- a/esmeta-ignore.json +++ b/esmeta-ignore.json @@ -7,7 +7,6 @@ "FunctionBody[0,0].EvaluateFunctionBody", "GetViewByteLength", "INTRINSICS.Atomics.notify", - "MakeMatchIndicesIndexPairArray", "Record[SourceTextModuleRecord].ExecuteModule", "TypedArrayGetElement", "TypedArrayLength", diff --git a/spec.html b/spec.html index f16240e64f..6b3c43405e 100644 --- a/spec.html +++ b/spec.html @@ -38812,11 +38812,12 @@

1. Else, 1. Let _matchIndexPair_ be *undefined*. 1. Perform ! CreateDataPropertyOrThrow(_A_, ! ToString(𝔽(_i_)), _matchIndexPair_). - 1. If _i_ > 0 and _groupNames_[_i_ - 1] is not *undefined*, then - 1. Assert: _groups_ is not *undefined*. + 1. If _i_ > 0, then 1. Let _s_ be _groupNames_[_i_ - 1]. - 1. NOTE: If there are multiple groups named _s_, _groups_ may already have an _s_ property at this point. However, because _groups_ is an ordinary object whose properties are all writable data properties, the call to CreateDataPropertyOrThrow is nevertheless guaranteed to succeed. - 1. Perform ! CreateDataPropertyOrThrow(_groups_, _s_, _matchIndexPair_). + 1. If _s_ is not *undefined*, then + 1. Assert: _groups_ is not *undefined*. + 1. NOTE: If there are multiple groups named _s_, _groups_ may already have an _s_ property at this point. However, because _groups_ is an ordinary object whose properties are all writable data properties, the call to CreateDataPropertyOrThrow is nevertheless guaranteed to succeed. + 1. Perform ! CreateDataPropertyOrThrow(_groups_, _s_, _matchIndexPair_). 1. Return _A_.