@@ -447,8 +447,8 @@ The verification of WebAssembly type requirements is deferred to the
447447 1. Assert: |attribute| is [=tagtype/attribute/exception=] .
448448 1. Assert: |externval| is of the form [=external value/tag=] |tagaddr|.
449449 1. Let [=external value/tag=] |tagaddr| be |externval|.
450- 1. Let |exception | be [=create a Tag object|a new Tag object=] created from |tagaddr|.
451- 1. Let |value| be |exception |.
450+ 1. Let |tag | be [=create a Tag object|a new Tag object=] created from |tagaddr|.
451+ 1. Let |value| be |tag |.
452452 1. Let |status| be ! [=CreateDataProperty=] (|exportsObject|, |name|, |value|).
453453 1. Assert: |status| is true.
454454
@@ -1101,6 +1101,7 @@ Note: Exported Functions do not have a \[[Construct]] method and thus it is not
11011101 1. [=Clean up after running script=] with |relevant settings|.
11021102 1. Assert: |result|.\[[Type]] is <emu-const> throw</emu-const> or <emu-const> normal</emu-const> .
11031103 1. If |result|.\[[Type]] is <emu-const> throw</emu-const> , then:
1104+ 1. Let |v| be |result|.\[[Value]] .
11041105 1. If |v| [=implements=] {{Exception}} ,
11051106 1. Let |type| be |v|.\[[Type]] .
11061107 1. Let |payload| be |v|.\[[Payload]] .
@@ -1198,7 +1199,7 @@ interface Tag {
11981199};
11991200</pre>
12001201
1201- An {{Tag}} value represents a type of exception.
1202+ A {{Tag}} value represents a type of exception.
12021203
12031204<div algorithm>
12041205
0 commit comments