Editorial: Drop Compile rules that are handled by the chain rule

(in CompileSubpattern, CompileAtom, CompileToCharSet, CompileAssertion)

Author: jmdyck

spec.html

@@ -34828,11 +34828,6 @@ <h1>
         </emu-note>
 
         <!-- Disjunction -->
-        <emu-grammar>Disjunction :: Alternative</emu-grammar>
-        <emu-alg>
-          1. Let _m_ be CompileSubpattern of |Alternative| with argument _direction_.
-          1. Return _m_.
-        </emu-alg>
         <emu-grammar>Disjunction :: Alternative `|` Disjunction</emu-grammar>
         <emu-alg>
           1. Let _m1_ be CompileSubpattern of |Alternative| with argument _direction_.
@@ -35208,10 +35203,6 @@ <h1>
             1. Remove from _A_ all characters corresponding to a code point on the right-hand side of the |LineTerminator| production.
           1. Return ! CharacterSetMatcher(_A_, *false*, _direction_).
         </emu-alg>
-        <emu-grammar>Atom :: `\` AtomEscape</emu-grammar>
-        <emu-alg>
-          1. Return CompileAtom of |AtomEscape| with argument _direction_.
-        </emu-alg>
         <emu-grammar>Atom :: CharacterClass</emu-grammar>
         <emu-alg>
           1. Let _cc_ be CompileCharacterClass of |CharacterClass|.
@@ -35416,16 +35407,8 @@ <h1>Runtime Semantics: CompileToCharSet</h1>
         <emu-alg>
           1. Return the empty CharSet.
         </emu-alg>
-        <emu-grammar>ClassRanges :: NonemptyClassRanges</emu-grammar>
-        <emu-alg>
-          1. Return CompileToCharSet of |NonemptyClassRanges|.
-        </emu-alg>
 
         <!-- NonemptyClassRanges -->
-        <emu-grammar>NonemptyClassRanges :: ClassAtom</emu-grammar>
-        <emu-alg>
-          1. Return CompileToCharSet of |ClassAtom|.
-        </emu-alg>
         <emu-grammar>NonemptyClassRanges :: ClassAtom NonemptyClassRangesNoDash</emu-grammar>
         <emu-alg>
           1. Let _A_ be CompileToCharSet of |ClassAtom|.
@@ -35442,10 +35425,6 @@ <h1>Runtime Semantics: CompileToCharSet</h1>
         </emu-alg>
 
         <!-- NonemptyClassRangesNoDash -->
-        <emu-grammar>NonemptyClassRangesNoDash :: ClassAtom</emu-grammar>
-        <emu-alg>
-          1. Return CompileToCharSet of |ClassAtom|.
-        </emu-alg>
         <emu-grammar>NonemptyClassRangesNoDash :: ClassAtomNoDash NonemptyClassRangesNoDash</emu-grammar>
         <emu-alg>
           1. Let _A_ be CompileToCharSet of |ClassAtomNoDash|.
@@ -35475,20 +35454,12 @@ <h1>Runtime Semantics: CompileToCharSet</h1>
         <emu-alg>
           1. Return the CharSet containing the single character `-` U+002D (HYPHEN-MINUS).
         </emu-alg>
-        <emu-grammar>ClassAtom :: ClassAtomNoDash</emu-grammar>
-        <emu-alg>
-          1. Return CompileToCharSet of |ClassAtomNoDash|.
-        </emu-alg>
 
         <!-- ClassAtomNoDash -->
         <emu-grammar>ClassAtomNoDash :: SourceCharacter but not one of `\` or `]` or `-`</emu-grammar>
         <emu-alg>
           1. Return the CharSet containing the character matched by |SourceCharacter|.
         </emu-alg>
-        <emu-grammar>ClassAtomNoDash :: `\` ClassEscape</emu-grammar>
-        <emu-alg>
-          1. Return CompileToCharSet of |ClassEscape|.
-        </emu-alg>
 
         <!-- ClassEscape -->
         <emu-grammar>
@@ -35503,12 +35474,6 @@ <h1>Runtime Semantics: CompileToCharSet</h1>
           1. Let _c_ be the character whose character value is _cv_.
           1. Return the CharSet containing the single character _c_.
         </emu-alg>
-        <emu-grammar>
-          ClassEscape :: CharacterClassEscape
-        </emu-grammar>
-        <emu-alg>
-          1. Return CompileToCharSet of |CharacterClassEscape|.
-        </emu-alg>
         <emu-note>
           <p>A |ClassAtom| can use any of the escape sequences that are allowed in the rest of the regular expression except for `\\b`, `\\B`, and backreferences. Inside a |CharacterClass|, `\\b` means the backspace character, while `\\B` and backreferences raise errors. Using a backreference inside a |ClassAtom| causes an error.</p>
         </emu-note>
@@ -46651,13 +46616,6 @@ <h1>Runtime Semantics: CompileSubpattern</h1>
 
       <emu-annex id="sec-compileassertion-annexb">
         <h1>Runtime Semantics: CompileAssertion</h1>
-        <p>CompileAssertion includes the following additional evaluation rule:</p>
-        <emu-grammar>Assertion :: QuantifiableAssertion</emu-grammar>
-        <emu-alg>
-          1. Let _m_ be CompileAssertion of |QuantifiableAssertion|.
-          1. Return _m_.
-        </emu-alg>
-
         <p>CompileAssertion rules for the <emu-grammar>Assertion :: `(` `?` `=` Disjunction `)`</emu-grammar> and <emu-grammar>Assertion :: `(` `?` `!` Disjunction `)`</emu-grammar> productions are also used for the |QuantifiableAssertion| productions, but with |QuantifiableAssertion| substituted for |Assertion|.</p>
       </emu-annex>