Skip to content

Commit 2940210

Browse files
committed
Add missing default for vector types
Each value type has an associated default value, however only numeric types and reference types are listed, while there are also values of vector types.
1 parent 1ffb924 commit 2940210

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

document/core/exec/runtime.rst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -51,11 +51,11 @@ or *external references* pointing to an uninterpreted form of :ref:`extern addre
5151
.. _default-val:
5252

5353
Each :ref:`value type <syntax-valtype>` has an associated *default value*;
54-
it is the respective value :math:`0` for :ref:`number types <syntax-numtype>` and null for :ref:`reference types <syntax-reftype>`.
54+
it is the respective value :math:`0` for :ref:`number types <syntax-numtype>` and :ref:`vector types <syntax-vectype>`, and null for :ref:`reference types <syntax-reftype>`.
5555

5656
.. math::
5757
\begin{array}{lcl@{\qquad}l}
58-
\default_t &=& t{.}\CONST~0 & (\iff t = \numtype) \\
58+
\default_t &=& t{.}\CONST~0 & (\iff t = \numtype \vee t = \vectype) \\
5959
\default_t &=& \REFNULL~t & (\iff t = \reftype) \\
6060
\end{array}
6161

0 commit comments

Comments
 (0)