Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Clarifies the note on text format export abbreviation expansion to reflect impact #1420

Merged
merged 1 commit into from
Feb 15, 2022
Merged

Clarifies the note on text format export abbreviation expansion to reflect impact #1420

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 12 additions & 4 deletions document/core/text/modules.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -250,7 +250,9 @@ Functions can be defined as :ref:`imports <text-import>` or :ref:`exports <text-
(\iff \Tid^? \neq \epsilon \wedge \Tid' = \Tid^? \vee \Tid^? = \epsilon \wedge \Tid' \idfresh) \\
\end{array}

The latter abbreviation can be applied repeatedly, with ":math:`\dots`" containing another import or export.
.. note::
The latter abbreviation can be applied repeatedly, if ":math:`\dots`" contains additional export clauses.
Consequently, a function declaration can contain any number of exports, possibly followed by an import.


.. index:: table, table type, identifier
Expand Down Expand Up @@ -319,7 +321,9 @@ Tables can be defined as :ref:`imports <text-import>` or :ref:`exports <text-exp
(\iff \Tid^? \neq \epsilon \wedge \Tid' = \Tid^? \vee \Tid^? = \epsilon \wedge \Tid' \idfresh) \\
\end{array}

codefromthecrypt marked this conversation as resolved.
Show resolved Hide resolved
The latter abbreviation can be applied repeatedly, with ":math:`\dots`" containing another import or export or an inline elements segment.
.. note::
The latter abbreviation can be applied repeatedly, if ":math:`\dots`" contains additional export clauses.
Consequently, a table declaration can contain any number of exports, possibly followed by an import.


.. index:: memory, memory type, identifier
Expand Down Expand Up @@ -379,7 +383,9 @@ Memories can be defined as :ref:`imports <text-import>` or :ref:`exports <text-e
(\iff \Tid^? \neq \epsilon \wedge \Tid' = \Tid^? \vee \Tid^? = \epsilon \wedge \Tid' \idfresh) \\
\end{array}

codefromthecrypt marked this conversation as resolved.
Show resolved Hide resolved
The latter abbreviation can be applied repeatedly, with ":math:`\dots`" containing another import or export or an inline data segment.
.. note::
The latter abbreviation can be applied repeatedly, if ":math:`\dots`" contains additional export clauses.
Consequently, a memory declaration can contain any number of exports, possibly followed by an import.


.. index:: global, global type, identifier, expression
Expand Down Expand Up @@ -423,7 +429,9 @@ Globals can be defined as :ref:`imports <text-import>` or :ref:`exports <text-ex
(\iff \Tid^? \neq \epsilon \wedge \Tid' = \Tid^? \vee \Tid^? = \epsilon \wedge \Tid' \idfresh) \\
\end{array}

codefromthecrypt marked this conversation as resolved.
Show resolved Hide resolved
The latter abbreviation can be applied repeatedly, with ":math:`\dots`" containing another import or export.
.. note::
The latter abbreviation can be applied repeatedly, if ":math:`\dots`" contains additional export clauses.
Consequently, a global declaration can contain any number of exports, possibly followed by an import.


.. index:: export, name, index, function index, table index, memory index, global index
Expand Down