Editorial: Update InitializeDateTimeFormat to use more standard conventions

Author: gibson042

spec/datetimeformat.html

@@ -51,7 +51,7 @@ <h1>InitializeDateTimeFormat ( _dateTimeFormat_, _locales_, _options_ )</h1>
 
       <emu-alg>
         1. Let _requestedLocales_ be ? CanonicalizeLocaleList(_locales_).
-        1. Let _options_ be ? ToDateTimeOptions(_options_, *"any"*, *"date"*).
+        1. Set _options_ to ? ToDateTimeOptions(_options_, *"any"*, *"date"*).
         1. Let _opt_ be a new Record.
         1. Let _matcher_ be ? GetOption(_options_, *"localeMatcher"*, *"string"*, &laquo; *"lookup"*, *"best fit"* &raquo;, *"best fit"*).
         1. Set _opt_.[[localeMatcher]] to _matcher_.
@@ -66,32 +66,32 @@ <h1>InitializeDateTimeFormat ( _dateTimeFormat_, _locales_, _options_ )</h1>
         1. Let _hour12_ be ? GetOption(_options_, *"hour12"*, *"boolean"*, *undefined*, *undefined*).
         1. Let _hourCycle_ be ? GetOption(_options_, *"hourCycle"*, *"string"*, &laquo; *"h11"*, *"h12"*, *"h23"*, *"h24"* &raquo;, *undefined*).
         1. If _hour12_ is not *undefined*, then
-          1. Let _hourCycle_ be *null*.
+          1. Set _hourCycle_ to *null*.
         1. Set _opt_.[[hc]] to _hourCycle_.
         1. Let _localeData_ be %DateTimeFormat%.[[LocaleData]].
         1. Let _r_ be ResolveLocale(%DateTimeFormat%.[[AvailableLocales]], _requestedLocales_, _opt_, %DateTimeFormat%.[[RelevantExtensionKeys]], _localeData_).
         1. Set _dateTimeFormat_.[[Locale]] to _r_.[[locale]].
-        1. Let _calendar_ be _r_.[[ca]].
+        1. Set _calendar_ to _r_.[[ca]].
         1. Set _dateTimeFormat_.[[Calendar]] to _calendar_.
         1. Set _dateTimeFormat_.[[HourCycle]] to _r_.[[hc]].
         1. Set _dateTimeFormat_.[[NumberingSystem]] to _r_.[[nu]].
         1. Let _dataLocale_ be _r_.[[dataLocale]].
         1. Let _timeZone_ be ? Get(_options_, *"timeZone"*).
         1. If _timeZone_ is *undefined*, then
-          1. Let _timeZone_ be DefaultTimeZone().
+          1. Set _timeZone_ to ! DefaultTimeZone().
         1. Else,
-          1. Let _timeZone_ be ? ToString(_timeZone_).
-          1. If the result of IsValidTimeZoneName(_timeZone_) is *false*, then
-            1. Throw a *RangeError* exception.
-          1. Let _timeZone_ be CanonicalizeTimeZoneName(_timeZone_).
+          1. Set _timeZone_ to ? ToString(_timeZone_).
+          1. If ! IsValidTimeZoneName(_timeZone_) is *false*, throw a *RangeError* exception.
+          1. Set _timeZone_ to ! CanonicalizeTimeZoneName(_timeZone_).
         1. Set _dateTimeFormat_.[[TimeZone]] to _timeZone_.
         1. Let _formatOptions_ be a new Record.
         1. For each row of <emu-xref href="#table-datetimeformat-components"></emu-xref>, except the header row, in table order, do
           1. Let _prop_ be the name given in the Property column of the row.
           1. If _prop_ is *"fractionalSecondDigits"*, then
             1. Let _value_ be ? GetNumberOption(_options_, *"fractionalSecondDigits"*, 1, 3, *undefined*).
           1. Else,
-            1. Let _value_ be ? GetOption(_options_, _prop_, *"string"*, &laquo; the strings given in the Values column of the row &raquo;, *undefined*).
+            1. Let _values_ be a List whose elements are the strings given in the Values column of the row.
+            1. Let _value_ be ? GetOption(_options_, _prop_, *"string"*, _values_, *undefined*).
           1. Set _formatOptions_.[[&lt;_prop_&gt;]] to _value_.
         1. Let _dataLocaleData_ be _localeData_.[[&lt;_dataLocale_&gt;]].
         1. Let _hcDefault_ be _dataLocaleData_.[[hourCycle]].
@@ -120,8 +120,7 @@ <h1>InitializeDateTimeFormat ( _dateTimeFormat_, _locales_, _options_ )</h1>
         1. If _dateStyle_ is not *undefined* or _timeStyle_ is not *undefined*, then
           1. For each row in <emu-xref href="#table-datetimeformat-components"></emu-xref>, except the header row, do
             1. Let _prop_ be the name given in the Property column of the row.
-            1. Let _p_ be _formatOptions_.[[&lt;_prop_&gt;]].
-            1. If _p_ is not *undefined*, then
+            1. If _formatOptions_.[[&lt;_prop_&gt;]] is present and its value is not *undefined*, then
               1. Throw a *TypeError* exception.
           1. Let _styles_ be _dataLocaleData_.[[styles]].[[&lt;_calendar_&gt;]].
           1. Let _bestFormat_ be DateTimeStyleFormat(_dateStyle_, _timeStyle_, _styles_).