From 5820fba38b2df4461a83694897ee79d0520f8174 Mon Sep 17 00:00:00 2001
From: Michael Dyck <jmdyck@ibiblio.org>
Date: Wed, 21 Aug 2019 16:19:59 -0400
Subject: [PATCH] Editorial: Add [N] parameter to 5 productions

Specifically, add [N] parameter to
    CharacterClass
    ClassRanges
    NonemptyClassRanges
    NonemptyClassRangesNoDash
    ClassAtom

These were implied when commit 95ec0c6 (of PR #1027)...

- added [?N] to RHS occurrences of CharacterClass
  without explicitly adding [N] to the LHS occurrence CharacterClass; and

- added [N] to the LHS occurrence of ClassAtomNoDash (in Annex B)
  without adding [?N] to any RHS occurrence.

This commit propagates [N] across that gap.

(See issue #1081.)
---
 spec.html | 32 ++++++++++++++++----------------
 1 file changed, 16 insertions(+), 16 deletions(-)

diff --git a/spec.html b/spec.html
index 036c6da2d60..f50dbcdbd6e 100644
--- a/spec.html
+++ b/spec.html
@@ -29524,7 +29524,7 @@ <h2>Patterns</h2>
           `.`
           `\` AtomEscape[?U, ?N]
           [~U] `\` [lookahead == `c`]
-          CharacterClass[?U]
+          CharacterClass[?U, ?N]
           `(` GroupSpecifier[?U] Disjunction[?U, ?N] `)`
           `(` `?` `:` Disjunction[?U, ?N] `)`
           [~U] InvalidBracedQuantifier
@@ -29572,27 +29572,27 @@ <h2>Group Specifiers</h2>
 
       <h2>Character Classes</h2>
       <emu-grammar type="definition">
-        CharacterClass[U] ::
-          `[` [lookahead != `^`] ClassRanges[?U] `]`
-          `[` `^` ClassRanges[?U] `]`
+        CharacterClass[U, N] ::
+          `[` [lookahead != `^`] ClassRanges[?U, ?N] `]`
+          `[` `^` ClassRanges[?U, ?N] `]`
 
-        ClassRanges[U] ::
+        ClassRanges[U, N] ::
           [empty]
-          NonemptyClassRanges[?U]
+          NonemptyClassRanges[?U, ?N]
 
-        NonemptyClassRanges[U] ::
-          ClassAtom[?U]
-          ClassAtom[?U] NonemptyClassRangesNoDash[?U]
-          ClassAtom[?U] `-` ClassAtom[?U] ClassRanges[?U]
+        NonemptyClassRanges[U, N] ::
+          ClassAtom[?U, ?N]
+          ClassAtom[?U, ?N] NonemptyClassRangesNoDash[?U, ?N]
+          ClassAtom[?U, ?N] `-` ClassAtom[?U, ?N] ClassRanges[?U, ?N]
 
-        NonemptyClassRangesNoDash[U] ::
-          ClassAtom[?U]
-          ClassAtomNoDash[?U] NonemptyClassRangesNoDash[?U]
-          ClassAtomNoDash[?U] `-` ClassAtom[?U] ClassRanges[?U]
+        NonemptyClassRangesNoDash[U, N] ::
+          ClassAtom[?U, ?N]
+          ClassAtomNoDash[?U, ?N] NonemptyClassRangesNoDash[?U, ?N]
+          ClassAtomNoDash[?U, ?N] `-` ClassAtom[?U, ?N] ClassRanges[?U, ?N]
 
-        ClassAtom[U] ::
+        ClassAtom[U, N] ::
           `-`
-          ClassAtomNoDash[?U]
+          ClassAtomNoDash[?U, ?N]
 
         ClassAtomNoDash[U, N] ::!
           SourceCharacter but not one of `\` or `]` or `-`