From 3ea7318edd796cf40a7b32fd511a6949b90a7c0a 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 573e616a816..2d187e1e75b 100644 --- a/spec.html +++ b/spec.html @@ -33003,13 +33003,10 @@

Patterns

Alternative[?U, ?N] Term[?U, ?N] Term[U, N] ::! - [+U] Assertion[+U, ?N] - [+U] Atom[+U, ?N] Quantifier - [+U] Atom[+U, ?N] [~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] :: `^`