Correctly rethrow exceptions when using Call()

Fixes #207. Note that for now this rethrows exceptions from Map and Set methods; see #207 (comment) for the rationale there and future steps to make it more robust.

Author: Ms2ger

index.bs

@@ -7891,7 +7891,7 @@ objects.
             return <emu-val>undefined</emu-val>.
         1.  Otherwise, return the result of performing any steps that were required to be run if the promise was rejected,
             with |reason| as the rejection reason.
-    1.  Return <a abstract-op>Call</a>({{%PromiseProto_then%}}, |promise|, «|onFulfilled|, |onRejected|»).
+    1.  Return [=!=] <a abstract-op>Call</a>({{%PromiseProto_then%}}, |promise|, «|onFulfilled|, |onRejected|»).
 </div>
 
 <p class="issue">
@@ -11713,7 +11713,7 @@ then the [=function object=] is {{%ArrayProto_forEach%}}.
     1.  Let |callbackWrapper| be a [=built-in function object=] that, when invoked, behaves as follows:
         1.  Let |v| and |k| be the first two arguments passed to the function.
         1.  Let |thisArg| be the <emu-val>this</emu-val> value.
-        1.  <a abstract-op>Call</a>(|callbackFn|, |thisArg|, «|v|, |k|, |object|»).
+        1.  Perform [=?=] <a abstract-op>Call</a>(|callbackFn|, |thisArg|, «|v|, |k|, |object|»).
 
         Note: The |callbackWrapper| function simply calls the incoming |callbackFn|
         with |object| as the third argument rather than its internal \[[BackingMap]] or \[[BackingSet]] object.
@@ -11725,7 +11725,7 @@ then the [=function object=] is {{%ArrayProto_forEach%}}.
         </p>
     1.  Let |forEach| be [=?=] <a abstract-op>GetMethod</a>(|backing|, "<code>forEach</code>").
     1.  If |forEach| is <emu-val>undefined</emu-val>, then [=ECMAScript/throw=] a {{ECMAScript/TypeError}}.
-    1.  <a abstract-op>Call</a>(|forEach|, |backing|, «|callbackWrapper|, |thisArg|»).
+    1.  Perform [=?=] <a abstract-op>Call</a>(|forEach|, |backing|, «|callbackWrapper|, |thisArg|»).
     1.  Return <emu-val>undefined</emu-val>.
 </div>
 
@@ -11973,7 +11973,7 @@ These additional properties are described in the sub-sections below.
     1.  Let |map| be the {{ECMAScript/Map}} object that is the value of |O|’s \[[BackingMap]] [=internal slot=].
     1.  Let |function| be [=?=] <a abstract-op>GetMethod</a>(|map|, |name|).
     1.  If |function| is <emu-val>undefined</emu-val>, then [=ECMAScript/throw=] a {{ECMAScript/TypeError}}.
-    1.  Return <a abstract-op>Call</a>(|function|, |map|, |arguments|).
+    1.  Return [=?=] <a abstract-op>Call</a>(|function|, |map|, |arguments|).
 </div>
 
 
@@ -12057,7 +12057,7 @@ For both of <code class="idl">get</code> and <code class="idl">has</code>, there
         1.  Let |keyArg| be the first argument passed to this function, or <emu-val>undefined</emu-val> if not supplied.
         1.  Let |keyIDL| be the result of [=converted to an IDL value|converting=] |keyArg| to an IDL value of type |keyType|.
         1.  Let |key| be the result of [=converted to ECMAScript values|converting=] |keyIDL| to an ECMAScript value.
-        1.  Return <a abstract-op>Call</a>(|function|, |map|, «|key|»).
+        1.  Return [=?=] <a abstract-op>Call</a>(|function|, |map|, «|key|»).
     </div>
 
 The value of the [=function object=]’s <code class="idl">length</code> properties is the Number value <emu-val>1</emu-val>.
@@ -12109,7 +12109,7 @@ must exist on |A|’s
         1.  Let |keyArg| be the first argument passed to this function, or <emu-val>undefined</emu-val> if not supplied.
         1.  Let |keyIDL| be the result of [=converted to an IDL value|converting=] |keyArg| to an IDL value of type |keyType|.
         1.  Let |key| be the result of [=converted to ECMAScript values|converting=] |keyIDL| to an ECMAScript value.
-        1.  Return <a abstract-op>Call</a>(|function|, |map|, «|key|»).
+        1.  Return [=?=] <a abstract-op>Call</a>(|function|, |map|, «|key|»).
     </div>
 
 The value of the [=function object=]’s <code class="idl">length</code> property is the Number value <emu-val>1</emu-val>.
@@ -12146,7 +12146,7 @@ must exist on |A|’s [=interface prototype object=]:
         1.  Let |valueIDL| be the result of [=converted to an IDL value|converting=] |valueArg| to an IDL value of type |valueType|.
         1.  Let |key| be the result of [=converted to ECMAScript values|converting=] |keyIDL| to an ECMAScript value.
         1.  Let |value| be the result of [=converted to ECMAScript values|converting=] |valueIDL| to an ECMAScript value.
-        1.  [=!=] <a abstract-op>Call</a>(|function|, |map|, «|key|, |value|»).
+        1.  Perform [=?=] <a abstract-op>Call</a>(|function|, |map|, «|key|, |value|»).
         1.  Return |O|.
     </div>
 
@@ -12190,7 +12190,7 @@ These additional properties are described in the sub-sections below.
     1.  Let |function| be [=?=] <a abstract-op>GetMethod</a>(|set|, |name|).
     1.  If |function| is <emu-val>undefined</emu-val>,
         then [=ECMAScript/throw=] a {{ECMAScript/TypeError}}.
-    1.  Return <a abstract-op>Call</a>(|function|, |set|, |arguments|).
+    1.  Return [=?=] <a abstract-op>Call</a>(|function|, |set|, |arguments|).
 </div>
 
 
@@ -12272,7 +12272,7 @@ with the following characteristics:
         1.  Let |arg| be the first argument passed to this function, or <emu-val>undefined</emu-val> if not supplied.
         1.  Let |idlValue| be the result of [=converted to an IDL value|converting=] |arg| to an IDL value of type |type|.
         1.  Let |value| be the result of [=converted to ECMAScript values|converting=] |idlValue| to an ECMAScript value.
-        1.  <a abstract-op>Call</a>(|function|, |set|, «|value|»).
+        1.  Return [=?=] <a abstract-op>Call</a>(|function|, |set|, «|value|»).
     </div>
 
 The value of the [=function object=]’s <code class="idl">length</code> property is a Number value <emu-val>1</emu-val>.
@@ -12305,11 +12305,11 @@ must exist on |A|’s [=interface prototype object=]:
         1.  If |O| is not an object that implements <var ignore>A</var>, then [=ECMAScript/throw=] a {{ECMAScript/TypeError}}.
         1.  Let |set| be the {{ECMAScript/Set}} object that is the value of |O|’s \[[BackingSet]] [=internal slot=].
         1.  Let |type| be the value type specified in the [=setlike declaration=].
-        1.  Let |function| be [=!=] <a abstract-op>Get</a>(|set|, |name|).
+        1.  Let |function| be [=?=] <a abstract-op>Get</a>(|set|, |name|).
         1.  Let |arg| be the first argument passed to this function, or <emu-val>undefined</emu-val> if not supplied.
         1.  Let |idlValue| be the result of [=converted to an IDL value|converting=] |arg| to an IDL value of type |type|.
         1.  Let |value| be the result of [=converted to ECMAScript values|converting=] |idlValue| to an ECMAScript value.
-        1.  Let |result| be [=!=] <a abstract-op>Call</a>(|function|, |set|, «|value|»).
+        1.  Let |result| be [=?=] <a abstract-op>Call</a>(|function|, |set|, «|value|»).
         1.  If |name| is "delete", then return |result|.
         1.  Otherwise, return |O|.
     </div>