From f72dd1650d62b98d008f169dced06c72aa6986d9 Mon Sep 17 00:00:00 2001
From: Michael Dyck <jmdyck@ibiblio.org>
Date: Wed, 18 Aug 2021 14:54:28 -0700
Subject: [PATCH] Editorial: Recast NormalCompletion + ThrowCompletion (#2386)

... as regular abstract operations.

See
- https://github.com/tc39/ecma262/pull/1142#discussion_r175863099 and following
- https://github.com/tc39/ecma262/issues/2384#issuecomment-818404645 and following
---
 spec.html | 34 ++++++++++++++++++----------------
 1 file changed, 18 insertions(+), 16 deletions(-)

diff --git a/spec.html b/spec.html
index 74df5981ad..09c356826b 100644
--- a/spec.html
+++ b/spec.html
@@ -3924,27 +3924,29 @@ <h1>Await</h1>
         </emu-note>
       </emu-clause>
 
-      <emu-clause id="sec-normalcompletion" aoid="NormalCompletion">
-        <h1>NormalCompletion</h1>
-        <p>The abstract operation NormalCompletion with a single _argument_, such as:</p>
-        <emu-alg>
-          1. Return NormalCompletion(_argument_).
-        </emu-alg>
-        <p>Is a shorthand that is defined as follows:</p>
+      <emu-clause id="sec-normalcompletion" type="abstract operation">
+        <h1>
+          NormalCompletion (
+            _value_: unknown,
+          )
+        </h1>
+        <dl class="header">
+        </dl>
         <emu-alg>
-          1. Return Completion { [[Type]]: ~normal~, [[Value]]: _argument_, [[Target]]: ~empty~ }.
+          1. Return Completion { [[Type]]: ~normal~, [[Value]]: _value_, [[Target]]: ~empty~ }.
         </emu-alg>
       </emu-clause>
 
-      <emu-clause id="sec-throwcompletion" aoid="ThrowCompletion">
-        <h1>ThrowCompletion</h1>
-        <p>The abstract operation ThrowCompletion with a single _argument_, such as:</p>
-        <emu-alg>
-          1. Return ThrowCompletion(_argument_).
-        </emu-alg>
-        <p>Is a shorthand that is defined as follows:</p>
+      <emu-clause id="sec-throwcompletion" type="abstract operation">
+        <h1>
+          ThrowCompletion (
+            _value_: an ECMAScript language value,
+          )
+        </h1>
+        <dl class="header">
+        </dl>
         <emu-alg>
-          1. Return Completion { [[Type]]: ~throw~, [[Value]]: _argument_, [[Target]]: ~empty~ }.
+          1. Return Completion { [[Type]]: ~throw~, [[Value]]: _value_, [[Target]]: ~empty~ }.
         </emu-alg>
       </emu-clause>