@@ -447,8 +447,8 @@ The verification of WebAssembly type requirements is deferred to the
447
447
1. Assert: |attribute| is [=tagtype/attribute/exception=] .
448
448
1. Assert: |externval| is of the form [=external value/tag=] |tagaddr|.
449
449
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 |.
452
452
1. Let |status| be ! [=CreateDataProperty=] (|exportsObject|, |name|, |value|).
453
453
1. Assert: |status| is true.
454
454
@@ -1101,6 +1101,7 @@ Note: Exported Functions do not have a \[[Construct]] method and thus it is not
1101
1101
1. [=Clean up after running script=] with |relevant settings|.
1102
1102
1. Assert: |result|.\[[Type]] is <emu-const> throw</emu-const> or <emu-const> normal</emu-const> .
1103
1103
1. If |result|.\[[Type]] is <emu-const> throw</emu-const> , then:
1104
+ 1. Let |v| be |result|.\[[Value]] .
1104
1105
1. If |v| [=implements=] {{Exception}} ,
1105
1106
1. Let |type| be |v|.\[[Type]] .
1106
1107
1. Let |payload| be |v|.\[[Payload]] .
@@ -1198,7 +1199,7 @@ interface Tag {
1198
1199
};
1199
1200
</pre>
1200
1201
1201
- An {{Tag}} value represents a type of exception.
1202
+ A {{Tag}} value represents a type of exception.
1202
1203
1203
1204
<div algorithm>
1204
1205
0 commit comments