From d95033a3cab647f2e9b1dfee1efe5ff9588c32c4 Mon Sep 17 00:00:00 2001 From: Michael Dyck Date: Tue, 20 Aug 2019 16:19:01 -0400 Subject: [PATCH] Editorial: Simplify the 'Term' production ... 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.) --- spec.html | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/spec.html b/spec.html index 843bd7ed0fe..2b832720c39 100644 --- a/spec.html +++ b/spec.html @@ -34043,13 +34043,10 @@

Patterns

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] :: `^`