Skip to content

Commit 8d005d4

Browse files
authored
[spec] Add missing default for vector types (#1464)
1 parent 54fa926 commit 8d005d4

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

document/core/exec/runtime.rst

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -51,11 +51,12 @@ 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>`, :math:`0` for :ref:`vector types <syntax-vectype>`, and null for :ref:`reference types <syntax-reftype>`.
5555

5656
.. math::
5757
\begin{array}{lcl@{\qquad}l}
5858
\default_t &=& t{.}\CONST~0 & (\iff t = \numtype) \\
59+
\default_t &=& t{.}\CONST~0 & (\iff t = \vectype) \\
5960
\default_t &=& \REFNULL~t & (\iff t = \reftype) \\
6061
\end{array}
6162

0 commit comments

Comments
 (0)