%AggregateError%
@@ -19320,7 +19330,7 @@ Runtime Semantics: Evaluation
1. Return ? EvaluateImportCall(|AssignmentExpression|, ~evaluation~).
- ImportCall : `import` `.` `source` `(` AssignmentExpression[+In, ?Yield, ?Await] `)`
+ ImportCall : `import` `.` `source` `(` AssignmentExpression `)`
1. Return ? EvaluateImportCall(|AssignmentExpression|, ~source~).
@@ -19328,15 +19338,16 @@ Runtime Semantics: Evaluation
EvaluateImportCall (
- _specifierExpression_: a ParseNode,
- _phase_: ~source~ or ~evaluation~
+ _specifierExpression_: a Parse Node,
+ _phase_: ~source~ or ~evaluation~,
): either a normal completion containing a Promise or a throw completion
-
+
1. Let _referrer_ be GetActiveScriptOrModule().
1. If _referrer_ is *null*, set _referrer_ to the current Realm Record.
- 1. Let _specifierRef_ be the result of evaluating _specifierExpression_.
+ 1. Let _specifierRef_ be ? Evaluation of _specifierExpression_.
1. Let _specifier_ be ? GetValue(_specifierRef_).
1. Let _promiseCapability_ be ! NewPromiseCapability(%Promise%).
1. Let _specifierString_ be Completion(ToString(_specifier_)).
@@ -19367,9 +19378,9 @@
1. If _phase_ is ~source~, then
1. Let _moduleSourceCompletion_ be Completion(_module_.GetModuleSource()).
1. If _moduleSourceCompletion_ is an abrupt completion, then
- 1. Perform ! Call(_promiseCapability_.[[Reject]], *undefined*, « _moduleSourceCompletion_.[[Value]] »).
+ 1. Perform ! Call(_promiseCapability_.[[Reject]], *undefined*, « _moduleSourceCompletion_.[[Value]] »).
1. Else,
- 1. Perform ! Call(_promiseCapability_.[[Resolve]], *undefined*, « _moduleSourceCompletion_.[[Value]] »).
+ 1. Perform ! Call(_promiseCapability_.[[Resolve]], *undefined*, « _moduleSourceCompletion_.[[Value]] »).
1. Return ~unused~.
1. Let _loadPromise_ be _module_.LoadRequestedModules().
1. Let _rejectedClosure_ be a new Abstract Closure with parameters (_reason_) that captures _promiseCapability_ and performs the following steps when called:
@@ -25926,43 +25937,41 @@
ModuleRequest Records
A ModuleRequest Record represents the request to import a module up to a given phase. It consists of the following fields:
-
+
-
-
- |
- Field Name
- |
-
- Value Type
- |
-
- Meaning
- |
-
-
- |
- [[Specifier]]
- |
-
- String
- |
-
- The module specifier
- |
-
-
- |
- [[Phase]]
- |
-
- ~source~ or ~evaluation~
- |
-
- The target import phase
- |
-
-
+
+ |
+ Field Name
+ |
+
+ Value Type
+ |
+
+ Meaning
+ |
+
+
+ |
+ [[Specifier]]
+ |
+
+ a String
+ |
+
+ The module specifier
+ |
+
+
+ |
+ [[Phase]]
+ |
+
+ ~source~ or ~evaluation~
+ |
+
+ The target import phase
+ |
+
@@ -25988,7 +25997,7 @@ Static Semantics: ModuleRequests ( ): a List of ModuleRequest Records
1. For each ModuleRequest Record _mr_ of _additionalRequests_, do
1. Let _found_ be *false*.
1. For each ModuleRequest Record _mr2_ of _requests_, do
- 1. If _mr_.[[Specifer]] is _mr2_.[[Specifer]] and _mr_.[[Phase]] is _mr2_.[[Phase]], then
+ 1. If _mr_.[[Specifier]] is _mr2_.[[Specifier]] and _mr_.[[Phase]] is _mr2_.[[Phase]], then
1. Assert: _found_ is *false*.
1. Set _found_ to *true*.
1. If _found_ is *false*, then
@@ -26002,19 +26011,19 @@ Static Semantics: ModuleRequests ( ): a List of ModuleRequest Records
ImportDeclaration : `import` ImportClause FromClause `;`
1. Let _specifier_ be SV of |FromClause|.
- 1. Return a List whose sole element is the ModuleRequest Record { [[Specifer]]: _specifier_, [[Phase]]: ~evaluation~ }.
+ 1. Return a List whose sole element is the ModuleRequest Record { [[Specifier]]: _specifier_, [[Phase]]: ~evaluation~ }.
ImportDeclaration : `import` `source` ImportedBinding FromClause `;`
1. Let _specifier_ be SV of |FromClause|.
- 1. Return a List whose sole element is the ModuleRequest Record { [[Specifer]]: _specifier_, [[Phase]]: ~source~ }.
+ 1. Return a List whose sole element is the ModuleRequest Record { [[Specifier]]: _specifier_, [[Phase]]: ~source~ }.
ExportDeclaration : `export` ExportFromClause FromClause `;`
1. Let _specifier_ be SV of |FromClause|.
- 1. Return a List whose sole element is the ModuleRequest Record { [[Specifer]]: _specifier_, [[Phase]]: ~evaluation~ }.
+ 1. Return a List whose sole element is the ModuleRequest Record { [[Specifier]]: _specifier_, [[Phase]]: ~evaluation~ }.
ExportDeclaration :
@@ -26034,32 +26043,30 @@ Static Semantics: ModuleRequests ( ): a List of ModuleRequest Records
ModuleSource Records
A ModuleSource Record represents the request to import a module up to a given phase. It consists of the following fields:
-
+
-
-
- |
- Field Name
- |
-
- Value Type
- |
-
- Meaning
- |
-
-
- |
- [[SourceClassName]]
- |
-
- String
- |
-
- The unique source class name string used to represent this module source. Source Text Module Records are usually represented by the *"ModuleSource"* class.
- |
-
-
+
+ |
+ Field Name
+ |
+
+ Value Type
+ |
+
+ Meaning
+ |
+
+
+ |
+ [[SourceClassName]]
+ |
+
+ a String
+ |
+
+ The unique source class name string used to represent this module source. Source Text Module Records are usually represented by the *"ModuleSource"* class.
+ |
+
@@ -26145,10 +26152,10 @@ Abstract Module Records
GetModuleSource()
|
- It returns either a normal completion completion for the ModuleSource Object corresponding to this source Module Record's source phase (), or a throw completion.
+ It returns either a normal completion containing the ModuleSource Object corresponding to this source Module Record's source phase (), or a throw completion.
When called multiple times on the same Module Record, if GetModuleSource() returns a normal completion it must always return a normal completion containing the same object.
The returned object should be an instance of a subclass of %AbstractModuleSource%, and it must have an internal slot [[ModuleSourceRecord]].
- Module Record's that do not have a source represemtation must always return a throw completion containing a *ReferenceError*.
+ Module Records that do not have a source represemtation must always return a throw completion containing a *ReferenceError*.
|