From f7c1c2c1007f5fa86036595c5885a1c077248f75 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 | 38 +++++++++++++++++++-------------------
 1 file changed, 19 insertions(+), 19 deletions(-)

diff --git a/spec.html b/spec.html
index 44523741eb5..dca756cd6d6 100644
--- a/spec.html
+++ b/spec.html
@@ -34255,7 +34255,7 @@ <h2>Patterns</h2>
           `.`
           `\` AtomEscape[?UnicodeMode, ?N]
           [~UnicodeMode] `\` [lookahead == `c`]
-          CharacterClass[?UnicodeMode]
+          CharacterClass[?UnicodeMode, ?N]
           `(` GroupSpecifier[?UnicodeMode] Disjunction[?UnicodeMode, ?N] `)`
           `(` `?` `:` Disjunction[?UnicodeMode, ?N] `)`
           [~UnicodeMode] InvalidBracedQuantifier
@@ -34266,9 +34266,9 @@ <h2>Patterns</h2>
           `{` DecimalDigits[~Sep] `,` `}`
           `{` DecimalDigits[~Sep] `,` DecimalDigits[~Sep] `}`
 
-        PatternCharacter[U] ::
-          [+U] SourceCharacter but not SyntaxCharacter
-          [~U] SourceCharacter but not one of `^` `$` `\` `.` `*` `+` `?` `(` `)` `[` `|`
+        PatternCharacter[UnicodeMode] ::
+          [+UnicodeMode] SourceCharacter but not SyntaxCharacter
+          [~UnicodeMode] SourceCharacter but not one of `^` `$` `\` `.` `*` `+` `?` `(` `)` `[` `|`
 
         SyntaxCharacter :: one of
           `^` `$` `\` `.` `*` `+` `?` `(` `)` `[` `]` `{` `}` `|`
@@ -34311,27 +34311,27 @@ <h2>Group Specifiers</h2>
 
       <h2>Character Classes</h2>
       <emu-grammar type="definition">
-        CharacterClass[UnicodeMode] ::
-          `[` [lookahead != `^`] ClassRanges[?UnicodeMode] `]`
-          `[` `^` ClassRanges[?UnicodeMode] `]`
+        CharacterClass[UnicodeMode, N] ::
+          `[` [lookahead != `^`] ClassRanges[?UnicodeMode, ?N] `]`
+          `[` `^` ClassRanges[?UnicodeMode, ?N] `]`
 
-        ClassRanges[UnicodeMode] ::
+        ClassRanges[UnicodeMode, N] ::
           [empty]
-          NonemptyClassRanges[?UnicodeMode]
+          NonemptyClassRanges[?UnicodeMode, ?N]
 
-        NonemptyClassRanges[UnicodeMode] ::
-          ClassAtom[?UnicodeMode]
-          ClassAtom[?UnicodeMode] NonemptyClassRangesNoDash[?UnicodeMode]
-          ClassAtom[?UnicodeMode] `-` ClassAtom[?UnicodeMode] ClassRanges[?UnicodeMode]
+        NonemptyClassRanges[UnicodeMode, N] ::
+          ClassAtom[?UnicodeMode, ?N]
+          ClassAtom[?UnicodeMode, ?N] NonemptyClassRangesNoDash[?UnicodeMode, ?N]
+          ClassAtom[?UnicodeMode, ?N] `-` ClassAtom[?UnicodeMode, ?N] ClassRanges[?UnicodeMode, ?N]
 
-        NonemptyClassRangesNoDash[UnicodeMode] ::
-          ClassAtom[?UnicodeMode]
-          ClassAtomNoDash[?UnicodeMode] NonemptyClassRangesNoDash[?UnicodeMode]
-          ClassAtomNoDash[?UnicodeMode] `-` ClassAtom[?UnicodeMode] ClassRanges[?UnicodeMode]
+        NonemptyClassRangesNoDash[UnicodeMode, N] ::
+          ClassAtom[?UnicodeMode, ?N]
+          ClassAtomNoDash[?UnicodeMode, ?N] NonemptyClassRangesNoDash[?UnicodeMode, ?N]
+          ClassAtomNoDash[?UnicodeMode, ?N] `-` ClassAtom[?UnicodeMode, ?N] ClassRanges[?UnicodeMode, ?N]
 
-        ClassAtom[UnicodeMode] ::
+        ClassAtom[UnicodeMode, N] ::
           `-`
-          ClassAtomNoDash[?UnicodeMode]
+          ClassAtomNoDash[?UnicodeMode, ?N]
 
         ClassAtomNoDash[UnicodeMode, N] ::!
           SourceCharacter but not one of `\` or `]` or `-`