Skip to content

Commit

Permalink
[spec] Update note on module initialization trapping (WebAssembly#1493)
Browse files Browse the repository at this point in the history
  • Loading branch information
keithw authored and rossberg committed Mar 1, 2023
1 parent 58a690e commit 3358264
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion document/core/exec/modules.rst
Original file line number Diff line number Diff line change
Expand Up @@ -596,7 +596,7 @@ Given a :ref:`store <syntax-store>` :math:`S`, a :ref:`module <syntax-module>` :

Instantiation checks that the module is :ref:`valid <valid>` and the provided imports :ref:`match <match-externtype>` the declared types,
and may *fail* with an error otherwise.
Instantiation can also result in a :ref:`trap <trap>` from executing the start function.
Instantiation can also result in a :ref:`trap <trap>` from initializing a table or memory from an active segment or from executing the start function.
It is up to the :ref:`embedder <embedder>` to define how such conditions are reported.

1. If :math:`\module` is not :ref:`valid <valid-module>`, then:
Expand Down

0 comments on commit 3358264

Please sign in to comment.