Skip to content

Commit

Permalink
Inline CreateRealm into InitializeHostDefinedRealm
Browse files Browse the repository at this point in the history
  • Loading branch information
jmdyck committed Aug 2, 2023
1 parent 2acab3d commit 64fc3ca
Showing 1 changed file with 7 additions and 17 deletions.
24 changes: 7 additions & 17 deletions spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -11548,12 +11548,17 @@ <h1>Realms</h1>
</table>
</emu-table>

<emu-clause id="sec-initializehostdefinedrealm" type="abstract operation" oldids="sec-setrealmglobalobject">
<emu-clause id="sec-initializehostdefinedrealm" type="abstract operation" oldids="sec-createrealm,sec-setrealmglobalobject">
<h1>InitializeHostDefinedRealm ( ): either a normal completion containing ~unused~ or a throw completion</h1>
<dl class="header">
</dl>
<emu-alg>
1. Let _realm_ be CreateRealm().
1. Let _realm_ be a new Realm Record.
1. Perform CreateIntrinsics(_realm_).
1. Set _realm_.[[AgentSignifier]] to AgentSignifier().
1. Set _realm_.[[GlobalObject]] to *undefined*.
1. Set _realm_.[[GlobalEnv]] to *undefined*.
1. Set _realm_.[[TemplateMap]] to a new empty List.
1. Let _newContext_ be a new execution context.
1. Set the Function of _newContext_ to *null*.
1. Set the Realm of _newContext_ to _realm_.
Expand All @@ -11575,21 +11580,6 @@ <h1>InitializeHostDefinedRealm ( ): either a normal completion containing ~unuse
</emu-alg>
</emu-clause>

<emu-clause id="sec-createrealm" type="abstract operation">
<h1>CreateRealm ( ): a Realm Record</h1>
<dl class="header">
</dl>
<emu-alg>
1. Let _realmRec_ be a new Realm Record.
1. Perform CreateIntrinsics(_realmRec_).
1. Set _realmRec_.[[AgentSignifier]] to AgentSignifier().
1. Set _realmRec_.[[GlobalObject]] to *undefined*.
1. Set _realmRec_.[[GlobalEnv]] to *undefined*.
1. Set _realmRec_.[[TemplateMap]] to a new empty List.
1. Return _realmRec_.
</emu-alg>
</emu-clause>

<emu-clause id="sec-createintrinsics" type="abstract operation">
<h1>
CreateIntrinsics (
Expand Down

0 comments on commit 64fc3ca

Please sign in to comment.