From 5ad7b0c9b84888b163f2c13a30326b4c7ac3b55a Mon Sep 17 00:00:00 2001 From: Ross Kirsling Date: Tue, 16 Jun 2020 16:11:40 -0700 Subject: [PATCH] Specify \8 and \9 in sloppy non-template strings. --- spec.html | 19 +++++++++++++------ 1 file changed, 13 insertions(+), 6 deletions(-) diff --git a/spec.html b/spec.html index b02e8b366c7..fb53d0855ab 100644 --- a/spec.html +++ b/spec.html @@ -11410,7 +11410,7 @@

Syntax

HexEscapeSequence UnicodeEscapeSequence -

A conforming implementation, when processing strict mode code, must not extend the syntax of |EscapeSequence| to include as described in .

+

A conforming implementation, when processing strict mode code, must not extend the syntax of |EscapeSequence| to include or as described in .

CharacterEscapeSequence :: SingleEscapeCharacter @@ -24786,7 +24786,7 @@

Forbidden Extensions

When processing strict mode code, the syntax of |NumericLiteral| must not be extended to include and the syntax of |DecimalIntegerLiteral| must not be extended to include as described in .
  • - |TemplateCharacter| must not be extended to include as defined in . + |TemplateCharacter| must not be extended to include or as defined in .
  • When processing strict mode code, the extensions defined in , , , and must not be supported. @@ -42107,6 +42107,7 @@

    Syntax

    EscapeSequence :: CharacterEscapeSequence LegacyOctalEscapeSequence + NonOctalDecimalEscapeSequence HexEscapeSequence UnicodeEscapeSequence @@ -42121,15 +42122,15 @@

    Syntax

    FourToSeven :: one of `4` `5` `6` `7` + + NonOctalDecimalEscapeSequence :: one of + `8` `9`

    This definition of |EscapeSequence| is not used in strict mode or when parsing |TemplateCharacter|.

    Static Semantics

      -
    • - The SV of EscapeSequence :: LegacyOctalEscapeSequence is the SV of |LegacyOctalEscapeSequence|. -
    • The SV of LegacyOctalEscapeSequence :: OctalDigit is the code unit whose value is the MV of |OctalDigit|.
      • @@ -42142,6 +42143,12 @@

      Static Semantics

    • The SV of LegacyOctalEscapeSequence :: ZeroToThree OctalDigit OctalDigit is the code unit whose value is (64 (that is, 82) times the MV of |ZeroToThree|) plus (8 times the MV of the first |OctalDigit|) plus the MV of the second |OctalDigit|.
      • +
    • + The SV of NonOctalDecimalEscapeSequence :: `8` is the code unit 0x0038 (DIGIT EIGHT). +
      • +
    • + The SV of NonOctalDecimalEscapeSequence :: `9` is the code unit 0x0039 (DIGIT NINE). +
    • The MV of ZeroToThree :: `0` is 0.
      • @@ -43336,7 +43343,7 @@

      The Strict Mode of ECMAScript

      A conforming implementation, when processing strict mode code, must not extend, as described in , the syntax of |NumericLiteral| to include |LegacyOctalIntegerLiteral|, nor extend the syntax of |DecimalIntegerLiteral| to include |NonOctalDecimalIntegerLiteral|.
    • - A conforming implementation, when processing strict mode code, may not extend the syntax of |EscapeSequence| to include |LegacyOctalEscapeSequence| as described in . + A conforming implementation, when processing strict mode code, may not extend the syntax of |EscapeSequence| to include or as described in .
    • Assignment to an undeclared identifier or otherwise unresolvable reference does not create a property in the global object. When a simple assignment occurs within strict mode code, its |LeftHandSideExpression| must not evaluate to an unresolvable Reference. If it does a *ReferenceError* exception is thrown (). The |LeftHandSideExpression| also may not be a reference to a data property with the attribute value { [[Writable]]: *false* }, to an accessor property with the attribute value { [[Set]]: *undefined* }, nor to a non-existent property of an object whose [[Extensible]] internal slot has the value *false*. In these cases a `TypeError` exception is thrown ().