From c3312ec431a37da6b23bc9e5ea753b05f3c9c718 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 d94913ae670..8000f1940a1 100644 --- a/spec.html +++ b/spec.html @@ -29490,13 +29490,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] :: `^`