From b5794dd6db72425cc66fbc72bfaccc5c87cb9612 Mon Sep 17 00:00:00 2001 From: Michael Dyck Date: Mon, 16 Oct 2017 18:11:55 -0400 Subject: [PATCH 1/6] Editorial: fix 2 typos from recent commit --- spec.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spec.html b/spec.html index de4e20c83f..7ebb91161b 100644 --- a/spec.html +++ b/spec.html @@ -7588,7 +7588,7 @@

FunctionDeclarationInstantiation ( _func_, _argumentsList_ )

1. Let _parameterBindings_ be a new List of _parameterNames_ with `"arguments"` appended. 1. Else, 1. Let _parameterBindings_ be _parameterNames_. - 1. Let _iteratorRecord_ be CreateListIterator(_argumentsList_). + 1. Let _iteratorRecord_ be CreateListIteratorRecord(_argumentsList_). 1. If _hasDuplicates_ is *true*, then 1. Perform ? IteratorBindingInitialization for _formals_ with _iteratorRecord_ and *undefined* as arguments. 1. Else, @@ -19413,7 +19413,7 @@

Runtime Semantics: Evaluation

1. Set _received_ to GeneratorYield(_innerResult_). 1. Else, 1. NOTE: If _iterator_ does not have a `throw` method, this throw is going to terminate the `yield*` loop. But first we need to give _iterator_ a chance to clean up. - 1. Perform ? IteratorClose(_iteratorResult_, Completion{[[Type]]: ~normal~, [[Value]]: ~empty~, [[Target]]: ~empty~}). + 1. Perform ? IteratorClose(_iteratorRecord_, Completion{[[Type]]: ~normal~, [[Value]]: ~empty~, [[Target]]: ~empty~}). 1. NOTE: The next step throws a *TypeError* to indicate that there was a `yield*` protocol violation: _iterator_ does not have a `throw` method. 1. Throw a *TypeError* exception. 1. Else, From 296f6e0bcc4d942f974c157de4e4a61304a87b5a Mon Sep 17 00:00:00 2001 From: Michael Dyck Date: Sun, 22 Oct 2017 10:15:57 -0400 Subject: [PATCH 2/6] Editorial: Add blank lines in multi-prodn s --- spec.html | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/spec.html b/spec.html index 7ebb91161b..81b99e4031 100644 --- a/spec.html +++ b/spec.html @@ -29246,9 +29246,13 @@

Static Semantics: CapturingGroupNumber

Static Semantics: IsCharacterClass

ClassAtom :: `-` + ClassAtomNoDash :: SourceCharacter but not one of `\` or `]` or `-` + ClassEscape :: `b` + ClassEscape :: `-` + ClassEscape :: CharacterEscape @@ -29445,7 +29449,9 @@

Static Semantics: CharacterValue

 LeadSurrogate :: Hex4Digits + TrailSurrogate :: Hex4Digits + NonSurrogate :: Hex4Digits @@ -30388,7 +30394,9 @@

ClassEscape

The |ClassEscape| productions evaluate as follows:

ClassEscape :: `b` + ClassEscape :: `-` + ClassEscape :: CharacterEscape From 8de9d52caf2000ea43f467600ed8c5299d91e09f Mon Sep 17 00:00:00 2001 From: Michael Dyck Date: Sun, 22 Oct 2017 10:43:46 -0400 Subject: [PATCH 3/6] Editorial: Un-expand a needlessly expanded prodn --- spec.html | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/spec.html b/spec.html index 81b99e4031..67b270ae32 100644 --- a/spec.html +++ b/spec.html @@ -30222,11 +30222,7 @@

CharacterEscape

DecimalEscape

The |DecimalEscape| productions evaluate as follows:

- - DecimalEscape :: - NonZeroDigit - NonZeroDigit DecimalDigits - + DecimalEscape :: NonZeroDigit DecimalDigits? 1. Return the CapturingGroupNumber of this |DecimalEscape|. From 0933cf9e3a045e40139fb62d8bdd5cb7683e742f Mon Sep 17 00:00:00 2001 From: Michael Dyck Date: Sun, 22 Oct 2017 10:47:29 -0400 Subject: [PATCH 4/6] Editorial: Change [U] to [U] ... for consistency with similar wording elsewhere. --- spec.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spec.html b/spec.html index 67b270ae32..773291aaca 100644 --- a/spec.html +++ b/spec.html @@ -39149,13 +39149,13 @@

Static Semantics: Early Errors

NonemptyClassRanges :: ClassAtom `-` ClassAtom ClassRanges
  • - It is a Syntax Error if IsCharacterClass of the first |ClassAtom| is *true* or IsCharacterClass of the second |ClassAtom| is *true* and this production has a [U] parameter. + It is a Syntax Error if IsCharacterClass of the first |ClassAtom| is *true* or IsCharacterClass of the second |ClassAtom| is *true* and this production has a [U] parameter.
NonemptyClassRangesNoDash :: ClassAtomNoDash `-` ClassAtom ClassRanges
  • - It is a Syntax Error if IsCharacterClass of |ClassAtomNoDash| is *true* or IsCharacterClass of |ClassAtom| is *true* and this production has a [U] parameter. + It is a Syntax Error if IsCharacterClass of |ClassAtomNoDash| is *true* or IsCharacterClass of |ClassAtom| is *true* and this production has a [U] parameter.
From 30a37ea1503cc57fbab616560bac4a98a03a6441 Mon Sep 17 00:00:00 2001 From: Michael Dyck Date: Sun, 22 Oct 2017 11:22:48 -0400 Subject: [PATCH 5/6] Editorial: "code unit value" -> "numeric value" (only one occurrence) Commit bfecd4f8 eliminated the phrase "code unit value" in algorithms. --- spec.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec.html b/spec.html index 773291aaca..3c0e74d7a3 100644 --- a/spec.html +++ b/spec.html @@ -39189,7 +39189,7 @@

Static Semantics: CharacterValue

CharacterEscape :: LegacyOctalEscapeSequence 1. Evaluate the SV of the |LegacyOctalEscapeSequence| (see ) to obtain a code unit _cu_. - 1. Return the code unit value of _cu_. + 1. Return the numeric value of _cu_. From 81c4c42103b25c7c1ca975624c8266c6cf143694 Mon Sep 17 00:00:00 2001 From: Michael Dyck Date: Sun, 22 Oct 2017 16:05:53 -0400 Subject: [PATCH 6/6] Editorial: Change "the code point value of the SV of |HexEscapeSequence|" ... to "the numeric value of the code unit that is the SV of |HexEscapeSequence|". The SV of |HexEscapeSequence| is a single code unit, and it doesn't make much sense to ask for the code point value of a code unit. --- spec.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec.html b/spec.html index 3c0e74d7a3..c28b5d38b4 100644 --- a/spec.html +++ b/spec.html @@ -29418,7 +29418,7 @@

Static Semantics: CharacterValue

CharacterEscape :: HexEscapeSequence - 1. Return the code point value of the SV of |HexEscapeSequence|. + 1. Return the numeric value of the code unit that is the SV of |HexEscapeSequence|. RegExpUnicodeEscapeSequence :: `u` LeadSurrogate `\u` TrailSurrogate