Editorial: Merge PatternCharacter + ExtendedPatternCharacter

jmdyck · Feb 5, 2020 · 03d80f8 · 03d80f8
1 parent 6536bab
commit 03d80f8
Showing 1 changed file with 4 additions and 14 deletions.
diff --git a/spec.html b/spec.html
@@ -31052,19 +31052,16 @@ <h2>Patterns</h2>
           `(` GroupSpecifier[?U] Disjunction[?U, ?N] `)`
           `(` `?` `:` Disjunction[?U, ?N] `)`
           [~U] InvalidBracedQuantifier
-          [+U] PatternCharacter
-          [~U] ExtendedPatternCharacter
+          PatternCharacter[?U]
 
         InvalidBracedQuantifier ::
           `{` DecimalDigits `}`
           `{` DecimalDigits `,` `}`
           `{` DecimalDigits `,` DecimalDigits `}`
 
-        ExtendedPatternCharacter ::
-          SourceCharacter but not one of `^` `$` `\` `.` `*` `+` `?` `(` `)` `[` `|`
-
-        PatternCharacter ::
-          SourceCharacter but not SyntaxCharacter
+        PatternCharacter[U] ::
+          [+U] SourceCharacter but not SyntaxCharacter
+          [~U] SourceCharacter but not one of `^` `$` `\` `.` `*` `+` `?` `(` `)` `[` `|`
 
         SyntaxCharacter :: one of
           `^` `$` `\` `.` `*` `+` `?` `(` `)` `[` `]` `{` `}` `|`
@@ -32287,12 +32284,6 @@ <h1>Atom</h1>
         <emu-alg>
           1. Return the Matcher that is the result of evaluating |Disjunction| with argument _direction_.
         </emu-alg>
-        <p>The production <emu-grammar>Atom :: ExtendedPatternCharacter</emu-grammar> evaluates as follows:</p>
-        <emu-alg>
-          1. Let _ch_ be the character represented by |ExtendedPatternCharacter|.
-          1. Let _A_ be a one-element CharSet containing the character _ch_.
-          1. Call CharacterSetMatcher(_A_, *false*, _direction_) and return its Matcher result.
-        </emu-alg>
         <p>The production <emu-grammar>Atom :: PatternCharacter</emu-grammar> evaluates as follows:</p>
         <emu-alg>
           1. Let _ch_ be the character matched by |PatternCharacter|.
@@ -42161,7 +42152,6 @@ <h1>Regular Expressions</h1>
     <emu-prodref name=QuantifierPrefix></emu-prodref>
     <emu-prodref name=Atom></emu-prodref>
     <emu-prodref name=InvalidBracedQuantifier></emu-prodref>
-    <emu-prodref name=ExtendedPatternCharacter></emu-prodref>
     <emu-prodref name=PatternCharacter></emu-prodref>
     <emu-prodref name=SyntaxCharacter></emu-prodref>
     <emu-prodref name=GroupSpecifier></emu-prodref>