Skip to content

Commit

Permalink
fixup: add 'variants' attributes; change "equals" to "is"
Browse files Browse the repository at this point in the history
  • Loading branch information
@jmdyck
jmdyck committed Sep 3, 2023
1 parent 160318f commit 7664b2d
Showing 1 changed file with 10 additions and 10 deletions.
20 changes: 10 additions & 10 deletions spec.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10015,9 +10015,9 @@ <h1>Declarative Environment Records</h1>
</table>
</emu-table>

<p>A <dfn>DeclarativeBinding</dfn> is either a SimpleDeclarativeBinding or an ImportDeclarativeBinding. SimpleDeclarativeBindings can appear in any Declarative Environment Record, but ImportDeclarativeBindings can only appear in a Module Environment Record.</p>
<p>A <dfn variants="DeclarativeBindings">DeclarativeBinding</dfn> is either a SimpleDeclarativeBinding or an ImportDeclarativeBinding. SimpleDeclarativeBindings can appear in any Declarative Environment Record, but ImportDeclarativeBindings can only appear in a Module Environment Record.</p>

<p>A <dfn>SimpleDeclarativeBinding</dfn> has the following fields:</p>
<p>A <dfn variants="SimpleDeclarativeBindings">SimpleDeclarativeBinding</dfn> has the following fields:</p>
<emu-table id="table-fields-of-simpledeclarativebindings" caption="SimpleDeclarativeBinding Fields">
<table>
<tr>
Expand Down Expand Up @@ -10069,7 +10069,7 @@ <h1>
<dd>It determines if the argument identifier is one of the identifiers bound by the record.</dd>
</dl>
<emu-alg>
1. If _envRec_.[[Bindings]] contains a DeclarativeBinding whose [[BoundName]] field equals _N_, return *true*.
1. If _envRec_.[[Bindings]] contains a DeclarativeBinding whose [[BoundName]] field is _N_, return *true*.
1. Return *false*.
</emu-alg>
</emu-clause>
Expand Down Expand Up @@ -10134,7 +10134,7 @@ <h1>
</dl>
<emu-alg>
1. Assert: _envRec_.HasBinding(_N_) is *true*.
1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field equals _N_.
1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field is _N_.
1. Assert: _binding_ is a SimpleDeclarativeBinding.
1. Assert: _binding_.[[BoundValue]] is ~uninitialized~.
1. Set _binding_.[[BoundValue]] to _V_.
Expand Down Expand Up @@ -10163,7 +10163,7 @@ <h1>
1. Perform ! _envRec_.CreateMutableBinding(_N_, *true*).
1. Perform ! _envRec_.InitializeBinding(_N_, _V_).
1. Return ~unused~.
1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field equals _N_.
1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field is _N_.
1. If _binding_ is an ImportDeclarativeBinding, throw a *TypeError* exception.
1. Assert: _binding_ is a SimpleDeclarativeBinding.
1. If _binding_.[[IsStrict]] is *true*, set _S_ to *true*.
Expand Down Expand Up @@ -10198,7 +10198,7 @@ <h1>
</dl>
<emu-alg>
1. Assert: _envRec_.HasBinding(_N_) is *true*.
1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field equals _N_.
1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field is _N_.
1. Assert: _binding_ is a SimpleDeclarativeBinding.
1. If _binding_.[[BoundValue]] is ~uninitialized~, throw a *ReferenceError* exception.
1. Return _binding_.[[BoundValue]].
Expand All @@ -10220,7 +10220,7 @@ <h1>
</dl>
<emu-alg>
1. Assert: _envRec_.HasBinding(_N_) is *true*.
1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field equals _N_.
1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field is _N_.
1. Assert: _binding_ is a SimpleDeclarativeBinding.
1. If _binding_.[[IsDeletable]] is *false*, return *false*.
1. Remove _binding_ from _envRec_.[[Bindings]].
Expand Down Expand Up @@ -11231,7 +11231,7 @@ <h1>Module Environment Records</h1>
</tr>
</table>
</emu-table>
<p>The [[Bindings]] of a Module Environment Record can include both SimpleDeclarativeBindings and ImportDeclarativeBindings. An <dfn>ImportDeclarativeBinding</dfn> has the following fields:</p>
<p>The [[Bindings]] of a Module Environment Record can include both SimpleDeclarativeBindings and ImportDeclarativeBindings. An <dfn variants="ImportDeclarativeBindings">ImportDeclarativeBinding</dfn> has the following fields:</p>
<emu-table id="table-fields-of-importdeclarativebindings" caption="ImportDeclarativeBinding Fields">
<table>
<tr>
Expand Down Expand Up @@ -11275,7 +11275,7 @@ <h1>
<emu-alg>
1. Assert: _S_ is *true*.
1. Assert: _envRec_.HasBinding(_N_) is *true*.
1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field equals _N_.
1. Let _binding_ be the DeclarativeBinding in _envRec_.[[Bindings]] whose [[BoundName]] field is _N_.
1. If _binding_ is an ImportDeclarativeBinding, then
1. Let _M_ be _binding_.[[TargetModuleRec]].
1. Let _N2_ be _binding_.[[TargetName]].
Expand Down Expand Up @@ -49959,7 +49959,7 @@ <h1>Changes to BlockDeclarationInstantiation</h1>
<p>During BlockDeclarationInstantiation the following steps are performed in place of step <emu-xref href="#step-blockdeclarationinstantiation-initializebinding"></emu-xref>:</p>
<emu-alg replaces-step="step-blockdeclarationinstantiation-initializebinding">
1. Perform the following steps:
1. Let _binding_ be the DeclarativeBinding in _env_.[[Bindings]] whose [[BoundName]] field equals _fn_.
1. Let _binding_ be the DeclarativeBinding in _env_.[[Bindings]] whose [[BoundName]] field is _fn_.
1. Assert: _binding_ is a SimpleDeclarativeBinding.
1. If _binding_.[[BoundValue]] is ~uninitialized~, then
1. Perform ! _env_.InitializeBinding(_fn_, _fo_).
Expand Down

0 comments on commit 7664b2d

Please sign in to comment.