From 9cecc2fb3b79a27564bf444fd14066c07c73c8ca Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=2E=C2=A0S=2E=20Choi?= <jschoi@jschoi.org>
Date: Wed, 17 Aug 2022 11:32:14 -0400
Subject: [PATCH] Wrap bare return values with Completion Records in abstract
 closure Resolves #31.

---
 spec.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spec.html b/spec.html
index 4ccd702..a87e57f 100644
--- a/spec.html
+++ b/spec.html
@@ -141,7 +141,7 @@ <h1><ins>Array.fromAsync ( _asyncItems_ [ , _mapfn_ [ , _thisArg_ ] ] )</ins></h
                 1. Let _next_ be ? Await(IteratorStep(_iteratorRecord_)).
                 1. If _next_ is *false*, then
                   1. Perform ? Set(_A_, *"length"*, 𝔽(_k_), *true*).
-                  1. Return _A_.
+                  1. Return Completion Record { [[Type]]: ~return~, [[Value]]: _A_, [[Target]]: ~empty~ }.
                 1. Let _nextValue_ be ? IteratorValue(_next_).
                 1. If _mapping_ is *true*, then
                   1. Let _mappedValue_ be Call(_mapfn_, _thisArg_, &laquo; _nextValue_, 𝔽(_k_) &raquo;).
@@ -172,7 +172,7 @@ <h1><ins>Array.fromAsync ( _asyncItems_ [ , _mapfn_ [ , _thisArg_ ] ] )</ins></h
                 1. Perform ? CreateDataPropertyOrThrow(_A_, _Pk_, _mappedValue_).
                 1. Set _k_ to _k_ + 1.
               1. Perform ? Set(_A_, *"length"*, 𝔽(_len_), *true*).
-              1. Return _A_.
+              1. Return Completion Record { [[Type]]: ~return~, [[Value]]: _A_, [[Target]]: ~empty~ }.
           1. Perform AsyncFunctionStart(_promiseCapability_, _fromAsyncClosure_).
           1. Return _promiseCapability_.[[Promise]].
         </emu-alg>