From 3358264ad1e7afa277d1c9c4e9eaca19ab76ab2c Mon Sep 17 00:00:00 2001 From: Keith Winstein Date: Mon, 13 Jun 2022 03:04:08 -0700 Subject: [PATCH] [spec] Update note on module initialization trapping (#1493) --- document/core/exec/modules.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/document/core/exec/modules.rst b/document/core/exec/modules.rst index 0e8c9d50a0..99eeb27565 100644 --- a/document/core/exec/modules.rst +++ b/document/core/exec/modules.rst @@ -596,7 +596,7 @@ Given a :ref:`store ` :math:`S`, a :ref:`module ` : Instantiation checks that the module is :ref:`valid ` and the provided imports :ref:`match ` the declared types, and may *fail* with an error otherwise. -Instantiation can also result in a :ref:`trap ` from executing the start function. +Instantiation can also result in a :ref:`trap ` from initializing a table or memory from an active segment or from executing the start function. It is up to the :ref:`embedder ` to define how such conditions are reported. 1. If :math:`\module` is not :ref:`valid `, then: