Skip to content

Commit bf5679d

Browse files
authored
Merge pull request WebAssembly#481 from takikawa/fix-constexpr-note
[spec] Update global.get note on constant expressions
2 parents 5f25162 + 3b34252 commit bf5679d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

document/core/valid/instructions.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2544,7 +2544,7 @@ Constant Expressions
25442544
25452545
25462546
.. note::
2547-
Currently, constant expressions occurring in :ref:`globals <syntax-global>`, :ref:`element <syntax-elem>`, or :ref:`data <syntax-data>` segments are further constrained in that contained |GLOBALGET| instructions are only allowed to refer to *imported* globals.
2547+
Currently, constant expressions occurring in :ref:`globals <syntax-global>` are further constrained in that contained |GLOBALGET| instructions are only allowed to refer to *imported* or *previously defined* globals. Constant expressions occurring in :ref:`tables <syntax-table>` may only have |GLOBALGET| instructions that refer to *imported* globals.
25482548
This is enforced in the :ref:`validation rule for modules <valid-module>` by constraining the context :math:`C` accordingly.
25492549

25502550
The definition of constant expression may be extended in future versions of WebAssembly.

0 commit comments

Comments
 (0)