From 5649aca70684c9a635c724546f62f4cdaa69756c Mon Sep 17 00:00:00 2001 From: Michael Dyck Date: Wed, 30 Oct 2019 23:16:27 -0400 Subject: [PATCH] Editorial: MV: add def for Hex4Digits PR #984 added a reference to "the MV of |Hex4Digits|" (in the definition of CharacterValue) but didn't add a definition for it. Extract one from the definition for "the SV of |Hex4Digits|". --- spec.html | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/spec.html b/spec.html index 554405d928a..82d3834073c 100644 --- a/spec.html +++ b/spec.html @@ -11261,6 +11261,9 @@

Static Semantics: MV

  • The MV of HexDigits :: HexDigits HexDigit is (the MV of |HexDigits| × 16ℝ) plus the MV of |HexDigit|.
    • +
  • + The MV of Hex4Digits :: HexDigit HexDigit HexDigit HexDigit is (0x1000ℝ times the MV of the first |HexDigit|) plus (0x100ℝ times the MV of the second |HexDigit|) plus (0x10ℝ times the MV of the third |HexDigit|) plus the MV of the fourth |HexDigit|. +
    • @@ -11626,7 +11629,7 @@

    Static Semantics: SV

    The SV of UnicodeEscapeSequence :: `u` Hex4Digits is the SV of |Hex4Digits|.
  • - The SV of Hex4Digits :: HexDigit HexDigit HexDigit HexDigit is the code unit whose value is (0x1000ℝ times the MV of the first |HexDigit|) plus (0x100ℝ times the MV of the second |HexDigit|) plus (0x10ℝ times the MV of the third |HexDigit|) plus the MV of the fourth |HexDigit|. + The SV of Hex4Digits :: HexDigit HexDigit HexDigit HexDigit is the code unit whose value is the MV of |Hex4Digits|.
  • The SV of UnicodeEscapeSequence :: `u{` CodePoint `}` is the UTF16Encoding of the MV of |CodePoint|.