Editorial: stop using strings for special values (tc39#2155)

This was extracted from tc39#2154 so it could land separately.

Co-authored-by: Jordan Harband <[email protected]>

spec.html

@@ -9980,7 +9980,7 @@ <h1>[[Get]] ( _P_, _Receiver_ )</h1>
           1. Assert: _binding_ is a ResolvedBinding Record.
           1. Let _targetModule_ be _binding_.[[Module]].
           1. Assert: _targetModule_ is not *undefined*.
-          1. If _binding_.[[BindingName]] is *"\*namespace\*"*, then
+          1. If _binding_.[[BindingName]] is ~namespace~, then
             1. Return ? GetModuleNamespace(_targetModule_).
           1. Let _targetEnv_ be _targetModule_.[[Environment]].
           1. If _targetEnv_ is *undefined*, throw a *ReferenceError* exception.
@@ -12691,7 +12691,7 @@ <h1>Runtime Semantics: BindingInitialization</h1>
         <h1>Runtime Semantics: InitializeBoundName ( _name_, _value_, _environment_ )</h1>
         <p>The abstract operation InitializeBoundName takes arguments _name_, _value_, and _environment_. It performs the following steps when called:</p>
         <emu-alg>
-          1. Assert: Type(_name_) is String.
+          1. Assert: Either Type(_name_) is String, or _name_ is ~default~.
           1. If _environment_ is not *undefined*, then
             1. Perform _environment_.InitializeBinding(_name_, _value_).
             1. Return NormalCompletion(*undefined*).
@@ -19916,10 +19916,10 @@ <h1>Static Semantics: BoundNames</h1>
       </emu-alg>
       <emu-grammar>FunctionDeclaration : `function` `(` FormalParameters `)` `{` FunctionBody `}`</emu-grammar>
       <emu-alg>
-        1. Return &laquo; *"\*default\*"* &raquo;.
+        1. Return &laquo; ~default~ &raquo;.
       </emu-alg>
       <emu-note>
-        <p>*"\*default\*"* is used within this specification as a synthetic name for hoistable anonymous functions that are defined using export declarations.</p>
+        <p>~default~ is used within this specification as a synthetic name for hoistable anonymous functions that are defined using export declarations. It is never accessible from user code.</p>
       </emu-note>
       <emu-grammar>FormalParameters : [empty]</emu-grammar>
       <emu-alg>
@@ -20853,10 +20853,10 @@ <h1>Static Semantics: BoundNames</h1>
       </emu-alg>
       <emu-grammar>GeneratorDeclaration : `function` `*` `(` FormalParameters `)` `{` GeneratorBody `}`</emu-grammar>
       <emu-alg>
-        1. Return &laquo; *"\*default\*"* &raquo;.
+        1. Return &laquo; ~default~ &raquo;.
       </emu-alg>
       <emu-note>
-        <p>*"\*default\*"* is used within this specification as a synthetic name for hoistable anonymous functions that are defined using export declarations.</p>
+        <p>~default~ is used within this specification as a synthetic name for hoistable anonymous functions that are defined using export declarations. It is never accessible from user code.</p>
       </emu-note>
     </emu-clause>
 
@@ -21176,10 +21176,10 @@ <h1>Static Semantics: BoundNames</h1>
       </emu-alg>
       <emu-grammar>AsyncGeneratorDeclaration : `async` `function` `*` `(` FormalParameters `)` `{` AsyncGeneratorBody `}`</emu-grammar>
       <emu-alg>
-        1. Return &laquo; *"\*default\*"* &raquo;.
+        1. Return &laquo; ~default~ &raquo;.
       </emu-alg>
       <emu-note>
-        <p>*"\*default\*"* is used within this specification as a synthetic name for hoistable anonymous functions that are defined using export declarations.</p>
+        <p>~default~ is used within this specification as a synthetic name for hoistable anonymous functions that are defined using export declarations. It is never accessible from user code.</p>
       </emu-note>
     </emu-clause>
 
@@ -21463,7 +21463,7 @@ <h1>Static Semantics: BoundNames</h1>
       </emu-alg>
       <emu-grammar>ClassDeclaration : `class` ClassTail</emu-grammar>
       <emu-alg>
-        1. Return &laquo; *"\*default\*"* &raquo;.
+        1. Return &laquo; ~default~ &raquo;.
       </emu-alg>
     </emu-clause>
 
@@ -21838,9 +21838,9 @@ <h1>Static Semantics: BoundNames</h1>
         AsyncFunctionDeclaration : `async` `function` `(` FormalParameters `)` `{` AsyncFunctionBody `}`
       </emu-grammar>
       <emu-alg>
-        1. Return &laquo; *"\*default\*"* &raquo;.
+        1. Return &laquo; ~default~ &raquo;.
       </emu-alg>
-      <emu-note>*"\*default\*"* is used within this specification as a synthetic name for hoistable anonymous functions that are defined using export declarations.</emu-note>
+      <emu-note>~default~ is used within this specification as a synthetic name for hoistable anonymous functions that are defined using export declarations. It is never accessible from user code.</emu-note>
     </emu-clause>
 
     <emu-clause id="sec-async-function-definitions-static-semantics-ComputedPropertyContains">
@@ -23404,7 +23404,7 @@ <h1>Abstract Module Records</h1>
                 ResolveExport(_exportName_ [, _resolveSet_])
               </td>
               <td>
-                <p>Return the binding of a name exported by this module. Bindings are represented by a <dfn id="resolvedbinding-record">ResolvedBinding Record</dfn>, of the form { [[Module]]: Module Record, [[BindingName]]: String }. If the export is a Module Namespace Object without a direct binding in any module, [[BindingName]] will be set to *"\*namespace\*"*. Return *null* if the name cannot be resolved, or *"ambiguous"* if multiple bindings were found.</p>
+                <p>Return the binding of a name exported by this module. Bindings are represented by a <dfn id="resolvedbinding-record">ResolvedBinding Record</dfn>, of the form { [[Module]]: Module Record, [[BindingName]]: String or ~default~ or ~namespace~ }. If the export is a Module Namespace Object without a direct binding in any module, [[BindingName]] will be set to ~namespace~. Return *null* if the name cannot be resolved, or ~ambiguous~ if multiple bindings were found.</p>
                 <p>Each time this operation is called with a specific _exportName_, _resolveSet_ pair as arguments it must return the same result if it completes normally.</p>
               </td>
             </tr>
@@ -24087,7 +24087,7 @@ <h1>Source Text Module Records</h1>
                   *null*
                 </td>
                 <td>
-                  *"\*default\*"*
+                  ~default~
                 </td>
               </tr>
               <tr>
@@ -24104,7 +24104,7 @@ <h1>Source Text Module Records</h1>
                   *null*
                 </td>
                 <td>
-                  *"\*default\*"*
+                  ~default~
                 </td>
               </tr>
               <tr>
@@ -24289,7 +24289,7 @@ <h1>GetExportedNames ( [ _exportStarSet_ ] ) Concrete Method</h1>
           <h1>ResolveExport ( _exportName_ [ , _resolveSet_ ] ) Concrete Method</h1>
           <p>The ResolveExport concrete method of a Source Text Module Record implements the corresponding Module Record abstract method.</p>
           <p>ResolveExport attempts to resolve an imported binding to the actual defining module and local binding name. The defining module may be the module represented by the Module Record this method was invoked on or some other module that is imported by that module. The parameter _resolveSet_ is used to detect unresolved circular import/export paths. If a pair consisting of specific Module Record and _exportName_ is reached that is already in _resolveSet_, an import circularity has been encountered. Before recursively calling ResolveExport, a pair consisting of _module_ and _exportName_ is added to _resolveSet_.</p>
-          <p>If a defining module is found, a ResolvedBinding Record { [[Module]], [[BindingName]] } is returned. This record identifies the resolved binding of the originally requested export, unless this is the export of a namespace with no local binding. In this case, [[BindingName]] will be set to *"\*namespace\*"*. If no definition was found or the request is found to be circular, *null* is returned. If the request is found to be ambiguous, the string *"ambiguous"* is returned.</p>
+          <p>If a defining module is found, a ResolvedBinding Record { [[Module]], [[BindingName]] } is returned. This record identifies the resolved binding of the originally requested export, unless this is the export of a namespace with no local binding. In this case, [[BindingName]] will be set to ~namespace~. If no definition was found or the request is found to be circular, *null* is returned. If the request is found to be ambiguous, ~ambiguous~ is returned.</p>
           <p>This abstract method performs the following steps:</p>
 
           <emu-alg>
@@ -24310,7 +24310,7 @@ <h1>ResolveExport ( _exportName_ [ , _resolveSet_ ] ) Concrete Method</h1>
                 1. Let _importedModule_ be ? HostResolveImportedModule(_module_, _e_.[[ModuleRequest]]).
                 1. If _e_.[[ImportName]] is *"\*"*, then
                   1. Assert: _module_ does not provide the direct binding for this export.
-                  1. Return ResolvedBinding Record { [[Module]]: _importedModule_, [[BindingName]]: *"\*namespace\*"* }.
+                  1. Return ResolvedBinding Record { [[Module]]: _importedModule_, [[BindingName]]: ~namespace~ }.
                 1. Else,
                   1. Assert: _module_ imports a specific binding for this export.
                   1. Return _importedModule_.ResolveExport(_e_.[[ImportName]], _resolveSet_).
@@ -24322,13 +24322,13 @@ <h1>ResolveExport ( _exportName_ [ , _resolveSet_ ] ) Concrete Method</h1>
             1. For each ExportEntry Record _e_ of _module_.[[StarExportEntries]], do
               1. Let _importedModule_ be ? HostResolveImportedModule(_module_, _e_.[[ModuleRequest]]).
               1. Let _resolution_ be ? _importedModule_.ResolveExport(_exportName_, _resolveSet_).
-              1. If _resolution_ is *"ambiguous"*, return *"ambiguous"*.
+              1. If _resolution_ is ~ambiguous~, return ~ambiguous~.
               1. If _resolution_ is not *null*, then
                 1. Assert: _resolution_ is a ResolvedBinding Record.
                 1. If _starResolution_ is *null*, set _starResolution_ to _resolution_.
                 1. Else,
                   1. Assert: There is more than one `*` import that includes the requested name.
-                  1. If _resolution_.[[Module]] and _starResolution_.[[Module]] are not the same Module Record or SameValue(_resolution_.[[BindingName]], _starResolution_.[[BindingName]]) is *false*, return *"ambiguous"*.
+                  1. If _resolution_.[[Module]] and _starResolution_.[[Module]] are not the same Module Record or SameValue(_resolution_.[[BindingName]], _starResolution_.[[BindingName]]) is *false*, return ~ambiguous~.
             1. Return _starResolution_.
           </emu-alg>
         </emu-clause>
@@ -24342,7 +24342,7 @@ <h1>InitializeEnvironment ( ) Concrete Method</h1>
             1. Let _module_ be this Source Text Module Record.
             1. For each ExportEntry Record _e_ of _module_.[[IndirectExportEntries]], do
               1. Let _resolution_ be ? _module_.ResolveExport(_e_.[[ExportName]]).
-              1. If _resolution_ is *null* or *"ambiguous"*, throw a *SyntaxError* exception.
+              1. If _resolution_ is *null* or ~ambiguous~ throw a *SyntaxError* exception.
               1. Assert: _resolution_ is a ResolvedBinding Record.
             1. Assert: All named exports from _module_ are resolvable.
             1. Let _realm_ be _module_.[[Realm]].
@@ -24358,8 +24358,8 @@ <h1>InitializeEnvironment ( ) Concrete Method</h1>
                 1. Call _env_.InitializeBinding(_in_.[[LocalName]], _namespace_).
               1. Else,
                 1. Let _resolution_ be ? _importedModule_.ResolveExport(_in_.[[ImportName]]).
-                1. If _resolution_ is *null* or *"ambiguous"*, throw a *SyntaxError* exception.
-                1. If _resolution_.[[BindingName]] is *"\*namespace\*"*, then
+                1. If _resolution_ is *null* or ~ambiguous~, throw a *SyntaxError* exception.
+                1. If _resolution_.[[BindingName]] is ~namespace~, then
                   1. Let _namespace_ be ? GetModuleNamespace(_resolution_.[[Module]]).
                   1. Perform ! _env_.CreateImmutableBinding(_in_.[[LocalName]], *true*).
                   1. Call _env_.InitializeBinding(_in_.[[LocalName]], _namespace_).
@@ -24796,18 +24796,18 @@ <h1>Static Semantics: BoundNames</h1>
         <emu-grammar>ExportDeclaration : `export` `default` HoistableDeclaration</emu-grammar>
         <emu-alg>
           1. Let _declarationNames_ be the BoundNames of |HoistableDeclaration|.
-          1. If _declarationNames_ does not include the element *"\*default\*"*, append *"\*default\*"* to _declarationNames_.
+          1. If _declarationNames_ does not include the element ~default~, append ~default~ to _declarationNames_.
           1. Return _declarationNames_.
         </emu-alg>
         <emu-grammar>ExportDeclaration : `export` `default` ClassDeclaration</emu-grammar>
         <emu-alg>
           1. Let _declarationNames_ be the BoundNames of |ClassDeclaration|.
-          1. If _declarationNames_ does not include the element *"\*default\*"*, append *"\*default\*"* to _declarationNames_.
+          1. If _declarationNames_ does not include the element ~default~, append ~default~ to _declarationNames_.
           1. Return _declarationNames_.
         </emu-alg>
         <emu-grammar>ExportDeclaration : `export` `default` AssignmentExpression `;`</emu-grammar>
         <emu-alg>
-          1. Return &laquo; *"\*default\*"* &raquo;.
+          1. Return &laquo; ~default~ &raquo;.
         </emu-alg>
       </emu-clause>
 
@@ -24962,11 +24962,11 @@ <h1>Static Semantics: ExportEntries</h1>
         </emu-alg>
         <emu-grammar>ExportDeclaration : `export` `default` AssignmentExpression `;`</emu-grammar>
         <emu-alg>
-          1. Let _entry_ be the ExportEntry Record { [[ModuleRequest]]: *null*, [[ImportName]]: *null*, [[LocalName]]: *"\*default\*"*, [[ExportName]]: *"default"* }.
+          1. Let _entry_ be the ExportEntry Record { [[ModuleRequest]]: *null*, [[ImportName]]: *null*, [[LocalName]]: ~default~, [[ExportName]]: *"default"* }.
           1. Return a new List containing _entry_.
         </emu-alg>
         <emu-note>
-          <p>*"\*default\*"* is used within this specification as a synthetic name for anonymous default export values.</p>
+          <p>~default~ is used within this specification as a synthetic name for anonymous default export values.</p>
         </emu-note>
       </emu-clause>
 
@@ -25137,9 +25137,9 @@ <h1>Runtime Semantics: Evaluation</h1>
         <emu-alg>
           1. Let _value_ be ? BindingClassDeclarationEvaluation of |ClassDeclaration|.
           1. Let _className_ be the sole element of BoundNames of |ClassDeclaration|.
-          1. If _className_ is *"\*default\*"*, then
+          1. If _className_ is ~default~, then
             1. Let _env_ be the running execution context's LexicalEnvironment.
-            1. Perform ? InitializeBoundName(*"\*default\*"*, _value_, _env_).
+            1. Perform ? InitializeBoundName(~default~, _value_, _env_).
           1. Return NormalCompletion(~empty~).
         </emu-alg>
         <emu-grammar>ExportDeclaration : `export` `default` AssignmentExpression `;`</emu-grammar>
@@ -25150,7 +25150,7 @@ <h1>Runtime Semantics: Evaluation</h1>
             1. Let _rhs_ be the result of evaluating |AssignmentExpression|.
             1. Let _value_ be ? GetValue(_rhs_).
           1. Let _env_ be the running execution context's LexicalEnvironment.
-          1. Perform ? InitializeBoundName(*"\*default\*"*, _value_, _env_).
+          1. Perform ? InitializeBoundName(~default~, _value_, _env_).
           1. Return NormalCompletion(~empty~).
         </emu-alg>
       </emu-clause>