Editorial: Fixed return types of algorithms returning ~empty~ (tc39#2924

)

Co-authored-by: jhnaldo <jhpjhp0223@gmail.com>
Co-authored-by: Michael Ficarra <mficarra@shapesecurity.com>
Co-authored-by: Kevin Gibbons <bakkot@gmail.com>

esmeta-ignore.json

@@ -13,9 +13,8 @@
   "AsyncGeneratorBody[0,0].EvaluateAsyncGeneratorBody",
   "BindingPattern[1,0].BindingInitialization",
   "BoundFunctionCreate",
-  "Catch[0,0].CatchClauseEvaluation",
-  "Catch[1,0].CatchClauseEvaluation",
   "ClassStaticBlockBody[0,0].EvaluateClassStaticBlockBody",
+  "ConciseBody[0,0].EvaluateConciseBody",
   "CreateBuiltinFunction",
   "CreateMappedArgumentsObject",
   "CreateSharedByteDataBlock",
@@ -26,8 +25,9 @@
   "GetMethod",
   "GetPromiseResolve",
   "GetThisValue",
+  "Initializer[0,0].EvaluateBody",
   "InnerModuleEvaluation",
-  "LabelledItem[1,0].LabelledEvaluation",
+  "LengthOfArrayLike",
   "MethodDefinition[0,0].DefineMethod",
   "ModuleNamespaceCreate",
   "OrdinaryFunctionCreate",
@@ -37,9 +37,6 @@
   "SourceTextModuleRecord.ExecuteModule",
   "SourceTextModuleRecord.ResolveExport",
   "SpeciesConstructor",
-  "Statement[0,0].LabelledEvaluation",
-  "Statement[1,0].LabelledEvaluation",
-  "Statement[2,0].LabelledEvaluation",
   "StringCreate",
   "TypedArrayCreateFromConstructor"
 ]

spec.html

@@ -13478,7 +13478,7 @@ <h1>
           Runtime Semantics: EvaluateBody (
             _functionObject_: an ECMAScript function object,
             _argumentsList_: a List of ECMAScript language values,
-          ): either a normal completion containing an ECMAScript language value or an abrupt completion
+          ): either a normal completion containing either an ECMAScript language value or ~empty~, or an abrupt completion
         </h1>
         <dl class="header">
         </dl>
@@ -13543,7 +13543,7 @@ <h1>
           OrdinaryCallEvaluateBody (
             _F_: an ECMAScript function object,
             _argumentsList_: a List of ECMAScript language values,
-          ): either a normal completion containing an ECMAScript language value or an abrupt completion
+          ): either a normal completion containing either an ECMAScript language value or ~empty~, or an abrupt completion
         </h1>
         <dl class="header">
         </dl>
@@ -22968,7 +22968,7 @@ <h1>Runtime Semantics: Evaluation</h1>
       <h1>
         Runtime Semantics: LabelledEvaluation (
           _labelSet_: a List of Strings,
-        ): either a normal completion containing an ECMAScript language value or an abrupt completion
+        ): either a normal completion containing either an ECMAScript language value or ~empty~, or an abrupt completion
       </h1>
       <dl class="header">
       </dl>
@@ -23096,7 +23096,7 @@ <h1>Static Semantics: Early Errors</h1>
       <h1>
         Runtime Semantics: CatchClauseEvaluation (
           _thrownValue_: an ECMAScript language value,
-        ): either a normal completion containing an ECMAScript language value or an abrupt completion
+        ): either a normal completion containing either an ECMAScript language value or ~empty~, or an abrupt completion
       </h1>
       <dl class="header">
       </dl>
@@ -23571,7 +23571,7 @@ <h1>
         Runtime Semantics: EvaluateFunctionBody (
           _functionObject_: an ECMAScript function object,
           _argumentsList_: a List of ECMAScript language values,
-        ): either a normal completion containing an ECMAScript language value or an abrupt completion
+        ): either a normal completion containing either an ECMAScript language value or ~empty~, or an abrupt completion
       </h1>
       <dl class="header">
       </dl>
@@ -24960,7 +24960,7 @@ <h1>
       <h1>
         Runtime Semantics: EvaluateClassStaticBlockBody (
           _functionObject_: an ECMAScript function object,
-        ): either a normal completion containing an ECMAScript language value or an abrupt completion
+        ): either a normal completion containing either an ECMAScript language value or ~empty~, or an abrupt completion
       </h1>
       <dl class="header">
       </dl>