Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Editorial: Consistently represent expressions that include exponents #3013

Merged
merged 3 commits into from
May 3, 2023
Merged

Editorial: Consistently represent expressions that include exponents #3013

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
c49c06f
Editorial: Always separate an exponent and a following operator with …
gibson042 May 3, 2023
5a63206
Editorial: Remove <emu-eqn> from inside 𝔽(...) etc (#3013)
gibson042 May 3, 2023
d4927f9
Editorial: Use "through" rather than "-" to express a range of letter…
gibson042 May 3, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 9 additions & 9 deletions spec.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5056,7 +5056,7 @@ <h1>
</h1>
<dl class="header">
<dt>description</dt>
<dd>It converts _argument_ to one of 2<sup>32</sup> integral Number values in the inclusive interval from 𝔽(<emu-eqn>-2<sup>31</sup></emu-eqn>) to 𝔽(<emu-eqn>2<sup>31</sup> - 1</emu-eqn>).</dd>
<dd>It converts _argument_ to one of 2<sup>32</sup> integral Number values in the inclusive interval from 𝔽(-2<sup>31</sup>) to 𝔽(2<sup>31</sup> - 1).</dd>
</dl>
<emu-alg>
1. Let _number_ be ? ToNumber(_argument_).
Expand Down Expand Up @@ -5089,7 +5089,7 @@ <h1>
</h1>
<dl class="header">
<dt>description</dt>
<dd>It converts _argument_ to one of 2<sup>32</sup> integral Number values in the inclusive interval from *+0*<sub>𝔽</sub> to 𝔽(<emu-eqn>2<sup>32</sup> - 1</emu-eqn>).</dd>
<dd>It converts _argument_ to one of 2<sup>32</sup> integral Number values in the inclusive interval from *+0*<sub>𝔽</sub> to 𝔽(2<sup>32</sup> - 1).</dd>
</dl>
<emu-alg>
1. Let _number_ be ? ToNumber(_argument_).
Expand Down Expand Up @@ -5125,7 +5125,7 @@ <h1>
</h1>
<dl class="header">
<dt>description</dt>
<dd>It converts _argument_ to one of 2<sup>16</sup> integral Number values in the inclusive interval from 𝔽(<emu-eqn>-2<sup>15</sup></emu-eqn>) to 𝔽(<emu-eqn>2<sup>15</sup> - 1</emu-eqn>).</dd>
<dd>It converts _argument_ to one of 2<sup>16</sup> integral Number values in the inclusive interval from 𝔽(-2<sup>15</sup>) to 𝔽(2<sup>15</sup> - 1).</dd>
</dl>
<emu-alg>
1. Let _number_ be ? ToNumber(_argument_).
Expand All @@ -5144,7 +5144,7 @@ <h1>
</h1>
<dl class="header">
<dt>description</dt>
<dd>It converts _argument_ to one of 2<sup>16</sup> integral Number values in the inclusive interval from *+0*<sub>𝔽</sub> to 𝔽(<emu-eqn>2<sup>16</sup> - 1</emu-eqn>).</dd>
<dd>It converts _argument_ to one of 2<sup>16</sup> integral Number values in the inclusive interval from *+0*<sub>𝔽</sub> to 𝔽(2<sup>16</sup> - 1).</dd>
</dl>
<emu-alg>
1. Let _number_ be ? ToNumber(_argument_).
Expand Down Expand Up @@ -5371,7 +5371,7 @@ <h1>
</h1>
<dl class="header">
<dt>description</dt>
<dd>It converts _argument_ to one of 2<sup>64</sup> BigInt values in the inclusive interval from β„€(-2<sup>63</sup>) to β„€(2<sup>63</sup>-1).</dd>
<dd>It converts _argument_ to one of 2<sup>64</sup> BigInt values in the inclusive interval from β„€(-2<sup>63</sup>) to β„€(2<sup>63</sup> - 1).</dd>
</dl>
<emu-alg>
1. Let _n_ be ? ToBigInt(_argument_).
Expand All @@ -5388,7 +5388,7 @@ <h1>
</h1>
<dl class="header">
<dt>description</dt>
<dd>It converts _argument_ to one of 2<sup>64</sup> BigInt values in the inclusive interval from *0*<sub>β„€</sub> to β„€(2<sup>64</sup>-1).</dd>
<dd>It converts _argument_ to one of 2<sup>64</sup> BigInt values in the inclusive interval from *0*<sub>β„€</sub> to β„€(2<sup>64</sup> - 1).</dd>
</dl>
<emu-alg>
1. Let _n_ be ? ToBigInt(_argument_).
Expand Down Expand Up @@ -13905,7 +13905,7 @@ <h1>
<h1>Array Exotic Objects</h1>
<p>An Array is an exotic object that gives special treatment to array index property keys (see <emu-xref href="#sec-object-type"></emu-xref>). A property whose property name is an array index is also called an <em>element</em>. Every Array has a non-configurable *"length"* property whose value is always a non-negative integral Number whose mathematical value is strictly less than 2<sup>32</sup>. The value of the *"length"* property is numerically greater than the name of every own property whose name is an array index; whenever an own property of an Array is created or changed, other properties are adjusted as necessary to maintain this invariant. Specifically, whenever an own property is added whose name is an array index, the value of the *"length"* property is changed, if necessary, to be one more than the numeric value of that array index; and whenever the value of the *"length"* property is changed, every own property whose name is an array index whose value is not smaller than the new length is deleted. This constraint applies only to own properties of an Array and is unaffected by *"length"* or array index properties that may be inherited from its prototypes.</p>
<emu-note>
<p>A String property name _P_ is an <em>array index</em> if and only if ToString(ToUint32(_P_)) is _P_ and ToUint32(_P_) is not 𝔽(<emu-eqn>2<sup>32</sup> - 1</emu-eqn>).</p>
<p>A String property name _P_ is an <em>array index</em> if and only if ToString(ToUint32(_P_)) is _P_ and ToUint32(_P_) is not 𝔽(2<sup>32</sup> - 1).</p>
</emu-note>

<p>An object is an <dfn id="array-exotic-object" variants="Array exotic objects">Array exotic object</dfn> (or simply, an Array) if its [[DefineOwnProperty]] internal method uses the following implementation, and its other essential internal methods use the definitions found in <emu-xref href="#sec-ordinary-object-internal-methods-and-internal-slots"></emu-xref>. These methods are installed in ArrayCreate.</p>
Expand Down Expand Up @@ -18052,7 +18052,7 @@ <h1>
<emu-alg>
1. Let _len_ be _nextIndex_ + 1.
1. Perform ? Set(_array_, *"length"*, 𝔽(_len_), *true*).
1. NOTE: The above step throws if _len_ exceeds 2<sup>32</sup>-1.
1. NOTE: The above step throws if _len_ exceeds 2<sup>32</sup> - 1.
1. Return _len_.
</emu-alg>
<emu-grammar>Elision : Elision `,`</emu-grammar>
Expand Down Expand Up @@ -28931,7 +28931,7 @@ <h1>parseInt ( _string_, _radix_ )</h1>
1. If _S_ contains a code unit that is not a radix-_R_ digit, let _end_ be the index within _S_ of the first such code unit; otherwise, let _end_ be the length of _S_.
1. Let _Z_ be the substring of _S_ from 0 to _end_.
1. If _Z_ is empty, return *NaN*.
1. Let _mathInt_ be the integer value that is represented by _Z_ in radix-_R_ notation, using the letters <b>A</b>-<b>Z</b> and <b>a</b>-<b>z</b> for digits with values 10 through 35. (However, if _R_ = 10 and _Z_ contains more than 20 significant digits, every significant digit after the 20th may be replaced by a 0 digit, at the option of the implementation; and if _R_ is not one of 2, 4, 8, 10, 16, or 32, then _mathInt_ may be an implementation-approximated integer representing the integer value denoted by _Z_ in radix-_R_ notation.)
1. Let _mathInt_ be the integer value that is represented by _Z_ in radix-_R_ notation, using the letters <b>A</b> through <b>Z</b> and <b>a</b> through <b>z</b> for digits with values 10 through 35. (However, if _R_ = 10 and _Z_ contains more than 20 significant digits, every significant digit after the 20th may be replaced by a 0 digit, at the option of the implementation; and if _R_ is not one of 2, 4, 8, 10, 16, or 32, then _mathInt_ may be an implementation-approximated integer representing the integer value denoted by _Z_ in radix-_R_ notation.)
1. If _mathInt_ = 0, then
1. If _sign_ = -1, return *-0*<sub>𝔽</sub>.
1. Return *+0*<sub>𝔽</sub>.
Expand Down