diff --git a/spec.html b/spec.html index 79871e0b26e..08f53f856fb 100644 --- a/spec.html +++ b/spec.html @@ -33947,8 +33947,7 @@

Patterns

`\` AtomEscape[?UnicodeMode, ?N] [~UnicodeMode] `\` [lookahead == `c`] CharacterClass[?UnicodeMode] - [+UnicodeMode] `(` GroupSpecifier[?UnicodeMode] Disjunction[?UnicodeMode, ?N] `)` - [~UnicodeMode] `(` Disjunction[?UnicodeMode, ?N] `)` + `(` GroupSpecifier[?UnicodeMode] Disjunction[?UnicodeMode, ?N] `)` `(` `?` `:` Disjunction[?UnicodeMode, ?N] `)` [~UnicodeMode] InvalidBracedQuantifier [+UnicodeMode] PatternCharacter @@ -33973,7 +33972,7 @@

Group Specifiers

GroupSpecifier[UnicodeMode] :: [empty] - `?` GroupName[?UnicodeMode] + [+UnicodeMode] `?` GroupName[?UnicodeMode] GroupName[UnicodeMode] :: `<` RegExpIdentifierName[?UnicodeMode] `>` @@ -34698,8 +34697,6 @@

Term

1. Assert: _c_ is a Continuation. 1. Return ! RepeatMatcher(_m_, _min_, _max_, _greedy_, _x_, _c_, _parenIndex_, _parenCount_). -

----

-

In the above algorithm, references to Atom ::! `(` GroupSpecifier Disjunction `)` are to be interpreted as meaning Atom ::! `(` GroupSpecifier Disjunction `)` or Atom ::! `(` Disjunction `)` .

The production Term ::! QuantifiableAssertion Quantifier evaluates the same as the production Term ::! Atom Quantifier but with |QuantifiableAssertion| substituted for |Atom|.