From 237d01c2320505aa91d3692787c9b946c9c6a9f9 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 f8bb63237dd..f44e0d9ec49 100644 --- a/spec.html +++ b/spec.html @@ -30938,13 +30938,10 @@

Patterns

Alternative[?U, ?N] Term[?U, ?N] Term[U, N] ::! - [+U] Assertion[+U, ?N] - [+U] Atom[+U, ?N] - [+U] Atom[+U, ?N] Quantifier [~U] QuantifiableAssertion[~U, ?N] Quantifier - [~U] Assertion[~U, ?N] - [~U] Atom[~U, ?N] Quantifier - [~U] Atom[~U, ?N] + Assertion[?U, ?N] + Atom[?U, ?N] Quantifier + Atom[?U, ?N] Assertion[U, N] :: `^`