diff --git a/document/core/appendix/custom.rst b/document/core/appendix/custom.rst index 6980d3e61..633b12268 100644 --- a/document/core/appendix/custom.rst +++ b/document/core/appendix/custom.rst @@ -281,7 +281,7 @@ Field Names ........... The *field name subsection* has the id 10. -It consists of an :ref:`indirect name map ` assigning field names to :ref:`field indices ` grouped by the :ref:`type indices ` of their respective :ref:`structure types `. +It consists of an :ref:`indirect name map ` assigning parameter and field names to :ref:`field indices ` grouped by the :ref:`type indices ` of their respective :ref:`composite types `. .. math:: \begin{array}{llclll} @@ -289,6 +289,9 @@ It consists of an :ref:`indirect name map ` assigning fi \Bnamesubsection_{10}(\Bindirectnamemap) \\ \end{array} +.. note:: + All :ref:`composite types ` can be described by the field name subsection, not just :ref:`aggregate types `. + .. index:: tag, tag index .. _binary-tagnamesec: diff --git a/document/core/syntax/modules.rst b/document/core/syntax/modules.rst index 5c5b1e3bc..c242192bf 100644 --- a/document/core/syntax/modules.rst +++ b/document/core/syntax/modules.rst @@ -84,7 +84,7 @@ The index space for :ref:`locals ` is only accessible inside a :re Label indices reference :ref:`structured control instructions ` inside an instruction sequence. There are two index spaces for labels: one tracks the stack of active labels during validation, while the other tracks all labels defined in a specific function. -Each :ref:`aggregate type ` provides an index space for its :ref:`fields `. +Each :ref:`composite type ` provides an index space for its :ref:`parameters ` (for :ref:`function type `) or :ref:`fields ` (for :ref:`aggregate types `). All such address spaces use :ref:`field indices `. Conventions