Normative: allow named backreferences without u flag in non-Annex B

tc39 · Jun 14, 2021 · 7579276 · 7579276
1 parent c7d208f
commit 7579276
Showing 1 changed file with 19 additions and 3 deletions.
diff --git a/spec.html b/spec.html
@@ -31732,14 +31732,15 @@ <h1>RegExpInitialize ( _obj_, _pattern_, _flags_ )</h1>
 
         <emu-clause id="sec-parsepattern" aoid="ParsePattern">
           <h1>Static Semantics: ParsePattern ( _patternText_, _u_ )</h1>
+          <emu-note>
+            <p>This section is amended in <emu-xref href="#sec-parsepattern-annexb"></emu-xref>.</p>
+          </emu-note>
           <p>The abstract operation ParsePattern takes arguments _patternText_ (a sequence of Unicode code points) and _u_ (a Boolean). It performs the following steps when called:</p>
           <emu-alg>
             1. If _u_ is *true*, then
               1. Let _parseResult_ be ParseText(_patternText_, |Pattern[+U, +N]|).
             1. Else,
-              1. Let _parseResult_ be ParseText(_patternText_, |Pattern[~U, ~N]|).
-              1. If _parseResult_ is a Parse Node and _parseResult_ contains a |GroupName|, then
-                1. Set _parseResult_ to ParseText(_patternText_, |Pattern[~U, +N]|).
+              1. Let _parseResult_ be ParseText(_patternText_, |Pattern[~U, +N]|).
             1. Return _parseResult_.
           </emu-alg>
         </emu-clause>
@@ -42156,6 +42157,21 @@ <h1>CharacterRangeOrUnion ( _A_, _B_ )</h1>
           </emu-alg>
         </emu-annex>
       </emu-annex>
+
+      <emu-annex id="sec-parsepattern-annexb">
+        <h1>Static Semantics: ParsePattern ( _patternText_, _u_ )</h1>
+        <p>The semantics of <emu-xref href="#sec-parsepattern"></emu-xref> is extended as follows:</p>
+        <p>The abstract operation ParsePattern takes arguments _patternText_ (a sequence of Unicode code points) and _u_ (a Boolean). It performs the following steps when called:</p>
+        <emu-alg>
+          1. If _u_ is *true*, then
+            1. Let _parseResult_ be ParseText(_patternText_, |Pattern[+U, +N]|).
+          1. Else,
+            1. Let _parseResult_ be ParseText(_patternText_, |Pattern[~U, ~N]|).
+            1. If _parseResult_ is a Parse Node and _parseResult_ contains a |GroupName|, then
+              1. Set _parseResult_ to ParseText(_patternText_, |Pattern[~U, +N]|).
+          1. Return _parseResult_.
+        </emu-alg>
+      </emu-annex>
     </emu-annex>
   </emu-annex>