Skip to content

Commit

Permalink
[spec] Fix execution prose for array.new_data (#551)
Browse files Browse the repository at this point in the history
  • Loading branch information
rossberg authored Jul 24, 2024
2 parents e852978 + 7a96b37 commit 7b5bebc
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions document/core/exec/instructions.rst
Original file line number Diff line number Diff line change
Expand Up @@ -803,11 +803,11 @@ Reference Instructions

17. Let :math:`t` be the :ref:`value type <syntax-valtype>` :math:`\unpacktype(\X{ft})`.

18. For each consecutive subsequence :math:`{b'}^n` of :math:`b^\ast`:
18. For each of the :math:`n` consecutive subsequences :math:`{b'}^z` of :math:`b^\ast`:

a. Assert: due to :ref:`validation <valid-array.new_data>`, :math:`\bytes_{\X{ft}}` is defined.

b. Let :math:`c_i` be the constant for which :math:`\bytes_{\X{ft}}(c_i)` is :math:`{b'}^n`.
b. Let :math:`c_i` be the constant for which :math:`\bytes_{\X{ft}}(c_i)` is :math:`{b'}^z`.

c. Push the value :math:`t.\CONST~c_i` to the stack.

Expand Down

0 comments on commit 7b5bebc

Please sign in to comment.