From 58c4083da7634993778e4c71f0d5d70919d02bf5 Mon Sep 17 00:00:00 2001
From: Michael Dyck <jmdyck@ibiblio.org>
Date: Wed, 20 Dec 2017 22:13:01 -0500
Subject: [PATCH] Editorial: add more lookahead-restrictions to
 NotEscapeSequence

Specifically, add a [lookahead <! HexDigit] restriction to the
two right-hand sides:
    u { NotCodePoint
    u { CodePoint
to force them to consume all the HexDigits there.
Otherwise, the NotEscapeSequence could end 'early',
causing 'TemplateCharacters' to be ambiguous.
---
 spec.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/spec.html b/spec.html
index a352bec8cc3..d8d85b696b0 100644
--- a/spec.html
+++ b/spec.html
@@ -10702,8 +10702,8 @@ <h2>Syntax</h2>
           `u` HexDigit HexDigit [lookahead &lt;! HexDigit]
           `u` HexDigit HexDigit HexDigit [lookahead &lt;! HexDigit]
           `u` `{` [lookahead &lt;! HexDigit]
-          `u` `{` NotCodePoint
-          `u` `{` CodePoint [lookahead != `}`]
+          `u` `{` NotCodePoint [lookahead &lt;! HexDigit]
+          `u` `{` CodePoint [lookahead &lt;! HexDigit] [lookahead != `}`]
 
         NotCodePoint ::
           HexDigits [&gt; but only if MV of HexDigits &gt; 0x10FFFF ]
@@ -10845,10 +10845,10 @@ <h1>Static Semantics: TV and TRV</h1>
             The TRV of <emu-grammar>NotEscapeSequence :: `u` `{` [lookahead &lt;! HexDigit]</emu-grammar> is the sequence consisting of the code unit 0x0075 (LATIN SMALL LETTER U) followed by the code unit 0x007B (LEFT CURLY BRACKET).
           </li>
           <li>
-            The TRV of <emu-grammar>NotEscapeSequence :: `u` `{` NotCodePoint</emu-grammar> is the sequence consisting of the code unit 0x0075 (LATIN SMALL LETTER U) followed by the code unit 0x007B (LEFT CURLY BRACKET) followed by the code units of the TRV of |NotCodePoint|.
+            The TRV of <emu-grammar>NotEscapeSequence :: `u` `{` NotCodePoint [lookahead &lt;! HexDigit]</emu-grammar> is the sequence consisting of the code unit 0x0075 (LATIN SMALL LETTER U) followed by the code unit 0x007B (LEFT CURLY BRACKET) followed by the code units of the TRV of |NotCodePoint|.
           </li>
           <li>
-            The TRV of <emu-grammar>NotEscapeSequence :: `u` `{` CodePoint [lookahead != `}`]</emu-grammar> is the sequence consisting of the code unit 0x0075 (LATIN SMALL LETTER U) followed by the code unit 0x007B (LEFT CURLY BRACKET) followed by the code units of the TRV of |CodePoint|.
+            The TRV of <emu-grammar>NotEscapeSequence :: `u` `{` CodePoint [lookahead &lt;! HexDigit] [lookahead != `}`]</emu-grammar> is the sequence consisting of the code unit 0x0075 (LATIN SMALL LETTER U) followed by the code unit 0x007B (LEFT CURLY BRACKET) followed by the code units of the TRV of |CodePoint|.
           </li>
           <li>
             The TRV of <emu-grammar>DecimalDigit :: one of `0` `1` `2` `3` `4` `5` `6` `7` `8` `9`</emu-grammar> is the SV of the |SourceCharacter| that is that single code point.