diff --git a/index.bs b/index.bs
index 5aba1f92..5d9ad982 100644
--- a/index.bs
+++ b/index.bs
@@ -34,6 +34,7 @@ spec: url; type: interface; text: URL
spec: dom; type: interface; text: Document
spec: ecma-262; type: dfn; for: /; text: internal method
spec: ecma-262; type: dfn; for: /; text: internal slot
+spec: ecma-262; type: dfn; for: /; text:realm
@@ -125,6 +126,10 @@ urlPrefix: https://tc39.github.io/ecma262/; spec: ECMA-262
text: CreateSetIterator; url: sec-createsetiterator
text: DefinePropertyOrThrow; url: sec-definepropertyorthrow
text: DetachArrayBuffer; url: sec-detacharraybuffer
+ for: Environment Record; url: table-15
+ text: SetMutableBinding
+ text: CreateMutableBinding
+ text: InitializeBinding
text: Get; url: sec-get-o-p
text: GetFunctionRealm; url: sec-getfunctionrealm
text: GetIterator; url: sec-getiterator
@@ -138,6 +143,7 @@ urlPrefix: https://tc39.github.io/ecma262/; spec: ECMA-262
text: IsSharedArrayBuffer; url: sec-issharedarraybuffer
text: IteratorStep; url: sec-iteratorstep
text: IteratorValue; url: sec-iteratorvalue
+ text: NewModuleEnvironment; url: sec-newmoduleenvironment
text: NormalCompletion; url: sec-normalcompletion
text: ObjectCreate; url: sec-objectcreate
text: OrdinaryDefineOwnProperty; url: sec-ordinarydefineownproperty
@@ -181,15 +187,27 @@ urlPrefix: https://tc39.github.io/ecma262/; spec: ECMA-262
text: constructor; url: constructor
text: conventions; for: ECMAScript; url: sec-algorithm-conventions
text: current Realm; url: current-realm
+ text: ECMAScript code execution context; url: sec-execution-contexts
+ for: ECMAScript code execution context; url: table-23
+ text: LexicalEnvironment
+ text: VariableEnvironment
text: element; for: ECMAScript String; url: sec-ecmascript-language-types-string-type
text: enumerable; url: sec-property-attributes
+ text: EnvironmentRecord; for: Lexical Environment; url: sec-lexical-environments
text: equally close values; url: sec-ecmascript-language-types-number-type
text: error objects; for: ECMAScript; url: sec-error-objects
+ for: Execution context; url: table-22
+ text: Function
+ text: Realm
+ text: ScriptOrModule
+ text: execution context stack; url: execution-context-stack
text: function object; url: function-object
text: immutable prototype exotic object; url: sec-immutable-prototype-exotic-objects
url: sec-object-internal-methods-and-internal-slots
text: internal method
text: internal slot
+ text: Module Record; url: sec-abstract-module-records
+ text: Module Record Fields; url: table-36
text: Number type; url: sec-ecmascript-language-types-number-type
text: Object; for: ECMAScript; url: sec-object-type
for: ordinary object; url: sec-ordinary-object-internal-methods-and-internal-slots
@@ -197,13 +215,20 @@ urlPrefix: https://tc39.github.io/ecma262/; spec: ECMA-262
text: internal slot
text: own property; url: sec-own-property
text: Property Descriptor; url: sec-property-descriptor-specification-type
+ text: Source Text Module Record; url: sourctextmodule-record
text: realm; url: realm
+ text: ResolvedBinding Record; url: resolvedbinding-record
+ text: running execution context; url: running-execution-context
{
"GEOMETRY": {
"aliasOf": "GEOMETRY-1"
+ },
+ "JSSTDLIB": {
+ "href": "https://github.com/tc39/proposal-javascript-standard-library/",
+ "title": "Standard Library Proposal"
}
}
@@ -13244,6 +13269,165 @@ the exact steps to take if an exception was thrown, or by explicitly
+Synthetic module records
+
+A Synthetic Module Record is used to represent information about a module that is
+defined by specifications.
+The set of exported names is static, and determined at creation time (as an argument to
+[$CreateSyntheticModule$]), while the set of exported values can be changed over time using
+[$SetSyntheticModuleExport$].
+It has no imports or dependencies.
+
+Note: A [=Synthetic Module Record=] could be used for defining a variety of module types: for
+example, built-in modules, or JSON modules, or CSS modules.
+
+Note: [=Synthetic Module Records=] are being developed in concert with the authors of the
+JavaScript Standard Library proposal, and might eventually move to the ECMAScript
+specification. [[JSSTDLIB]] [[ECMA-262]].
+
+In addition to the [=Module Record Fields=], Synthetic Module Records have the additional fields
+listed below.
+Each of these fields is initially set in [$CreateSyntheticModule$].
+
+
+Additional Fields of Synthetic Module Records
+
+
+ | Field Name
+ | Value Type
+ | Meaning
+ |
+
+ | \[[ExportNames]]
+ | List of String
+ | A List of all names that are exported.
+ |
+ | \[[EvaluationSteps]]
+ | An abstract operation
+ | An abstract operation that will be performed upon evaluation of the module, taking the
+ [=Synthetic Module Record=] as its sole argument.
+ These will usually set up the exported values, by using [$SetSyntheticModuleExport$].
+ They must not modify \[[ExportNames]].
+ They may return an abrupt completion.
+ |
+
+CreateSyntheticModule
+
+
+The abstract operation CreateSyntheticModule(|exportNames|, |evaluationSteps|, |realm|, |hostDefined|) creates a [=Synthetic Module Record=] based upon
+the given exported names and evaluation steps.
+It performs the following steps:
+
+ 1. Return [=Synthetic Module Record=] {
+ \[[Realm]]: |realm|,
+ \[[Environment]]: undefined,
+ \[[Namespace]]: undefined,
+ \[[HostDefined]]: |hostDefined|,
+ \[[ExportNames]]: |exportNames|,
+ \[[EvaluationSteps]]: |evaluationSteps|
+ }.
+
+
+Note: we could set up \[[Environment]] either here or in [$Synthetic Module Record/Instantiate$]().
+It is done in [$Synthetic Module Record/Instantiate$]() for symmetry with [=Source Text Module Records=],
+but there is no observable difference.
+
+SetSyntheticModuleExport
+
+
+The abstract operation SetSyntheticModuleExport(|module|, |exportName|,
+|exportValue|) can be used to set or change the exported value for a pre-established export of a
+Synthetic Module Record.
+It performs the following steps:
+
+ 1. Let |envRec| be |module|.\[[Environment]]'s [=Lexical Environment/EnvironmentRecord=].
+ 1. Perform |envRec|.[$Environment Record/SetMutableBinding$](|exportName|, |exportValue|,
+ true).
+
+
+Concrete Methods
+
+The following are the concrete methods for [=Synthetic Module Record=] that implement the
+corresponding [=Module Record=] abstract methods.
+
+GetExportedNames
+
+
+The GetExportedNames(exportStarSet) concrete method of a [=Synthetic Module Record=] implements the
+corresponding [=Module Record=] abstract method.
+
+It performs the following steps:
+
+ 1. Let |module| be this [=Synthetic Module Record=].
+ 1. Return |module|.\[[ExportNames]].
+
+
+ResolveExport
+
+
+The ResolveExport(|exportName|, resolveSet) concrete method of a [=Synthetic Module Record=] implements the
+corresponding [=Module Record=] abstract method.
+
+It performs the following steps:
+
+ 1. Let |module| be this [=Synthetic Module Record=].
+ 1. If |module|.\[[ExportNames]] does not contain |exportName|, return null.
+ 1. Return [=ResolvedBinding Record=] { \[[Module]]: |module|, \[[BindingName]]: |exportName| }.
+
+
+Instantiate
+
+
+The Instantiate() concrete method of a
+[=Synthetic Module Record=] implements the corresponding [=Module Record=] abstract method.
+
+It performs the following steps:
+
+ 1. Let |module| be this [=Synthetic Module Record=].
+ 1. Let |realm| be |module|.\[[Realm]].
+ 1. Assert: |realm| is not undefined.
+ 1. Let |env| be [$NewModuleEnvironment$](|realm|.\[[GlobalEnv]]).
+ 1. Set |module|.\[[Environment]] to |env|.
+ 1. Let |envRec| be |env|'s [=Lexical Environment/EnvironmentRecord=].
+ 1. For each |exportName| in |module|.\[[ExportNames]],
+ 1. Perform [=!=] |envRec|.[$Environment Record/CreateMutableBinding$](|exportName|,
+ false).
+ 1. Perform [=!=] |envRec|.[$Environment Record/InitializeBinding$](|exportName|,
+ undefined).
+ 1. Return undefined.
+
+
+Evaluate
+
+
+The Evaluate() concrete method of a
+[=Synthetic Module Record=] implements the corresponding [=Module Record=] abstract method.
+
+It performs the following steps:
+
+ 1. Let |module| be this [=Synthetic Module Record=].
+ 1. Let |moduleCxt| be a new [=ECMAScript code execution context=].
+ 1. Set the [=Execution context/Function=] of |moduleCxt| to null.
+ 1. Assert: |module|.\[[Realm]] is not undefined.
+ 1. Set the [=Execution context/Realm=] of |moduleCxt| to |module|.\[[Realm]].
+ 1. Set the [=Execution context/ScriptOrModule=] of |moduleCxt| to |module|.
+ 1. Set the [=ECMAScript code execution context/VariableEnvironment=] of |moduleCxt| to
+ |module|.\[[Environment]].
+ 1. Set the [=ECMAScript code execution context/LexicalEnvironment=] of |moduleCxt| to
+ |module|.\[[Environment]].
+ 1. Suspend the currently [=running execution context=].
+ 1. Push |moduleCxt| on to the [=execution context stack=]; |moduleCxt| is now the
+ [=running execution context=].
+ 1. Let |completion| be the result of performing |module|.\[[EvaluationSteps]](|module|).
+ 1. Suspend |moduleCxt| and remove it from the [=execution context stack=].
+ 1. Resume the context that is now on the top of the [=execution context stack=] as the
+ [=running execution context=].
+ 1. Return [$Completion$](|completion|).
+
+
+
Common definitions
This section specifies some common definitions that all