@@ -433,6 +433,7 @@ To <dfn>instantiate imported strings</dfn> with module |module| and |importedStr
433433 1. Let |builtinOrStringImports| be the ordered map « ».
434434 1. [=list/iterate|For each=] |builtinSetName| of |builtinSetNames|,
435435 1. Assert: |builtinOrStringImports| does not contain |builtinSetName|
436+ 1. If |builtinSetName| does not refer to a builtin set, then [=iteration/continue=] .
436437 1. Let |exportsObject| be the result of [=instantiate a builtin set=] with |builtinSetName|
437438 1. Let |builtinSetQualifiedName| be |builtinSetName| prefixed with "wasm:"
438439 1. [=map/set|Set=] |builtinOrStringImports|[|builtinSetQualifiedName|] to |exportsObject|
@@ -1742,6 +1743,7 @@ To <dfn>find a builtin</dfn> with |import| and enabled builtins |builtinSetNames
174217431. Let |importModuleName| be |import|[0]
174317441. Let |importName| be |import|[1]
174417451. [=list/iterate|For each=] |builtinSetName| of |builtinSetNames|,
1746+ 1. If |builtinSetName| does not refer to a builtin set, then [=iteration/continue=] .
17451747 1. Let |builtinSetQualifiedName| be |builtinSetName| prefixed with "wasm:"
17461748 1. If |importModuleName| equals |builtinSetQualifiedName|
17471749 1. Let |builtins| be the result of [=get the builtins for a builtin set=] |builtinSetName|
@@ -1756,8 +1758,6 @@ To <dfn>find a builtin</dfn> with |import| and enabled builtins |builtinSetNames
17561758To <dfn>validate builtin set names</dfn> with |builtinSetNames|, perform the following steps:
17571759
175817601. If |builtinSetNames| contains any duplicates, return false.
1759- 1. [=list/iterate|For each=] |builtinSetName| of |builtinSetNames|,
1760- 1. If |builtinSetName| does not equal the name of one of the builtin sets defined in this section, return false.
176117611. Return false.
17621762
17631763</div>
0 commit comments