Skip to content

Commit

Permalink
Editorial: Simplify the 'Term' production
Browse files Browse the repository at this point in the history
... by merging three pairs of RHSs.

(Preserves the order of alternatives under [~U], but not under [+U],
but that's okay, because the [+U] sides aren't order-disambiguated.)
  • Loading branch information
jmdyck committed Sep 29, 2021
1 parent 74891c8 commit feb8346
Showing 1 changed file with 3 additions and 6 deletions.
9 changes: 3 additions & 6 deletions spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -34258,13 +34258,10 @@ <h2>Patterns</h2>
Alternative[?UnicodeMode, ?N] Term[?UnicodeMode, ?N]

Term[UnicodeMode, N] ::!
[+UnicodeMode] Assertion[+UnicodeMode, ?N]
[+UnicodeMode] Atom[+UnicodeMode, ?N] Quantifier
[+UnicodeMode] Atom[+UnicodeMode, ?N]
[~UnicodeMode] QuantifiableAssertion[~UnicodeMode, ?N] Quantifier
[~UnicodeMode] Assertion[~UnicodeMode, ?N]
[~UnicodeMode] Atom[~UnicodeMode, ?N] Quantifier
[~UnicodeMode] Atom[~UnicodeMode, ?N]
Assertion[?UnicodeMode, ?N]
Atom[?UnicodeMode, ?N] Quantifier
Atom[?UnicodeMode, ?N]

Assertion[UnicodeMode, N] ::
`^`
Expand Down

0 comments on commit feb8346

Please sign in to comment.