Skip to content

Commit 646d4b5

Browse files
f52985rossberg
authored andcommitted
[spec] Fix execution semantics prose of ARRAY.NEW_DATA
1 parent 7bb80a0 commit 646d4b5

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

document/core/exec/instructions.rst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -803,11 +803,11 @@ Reference Instructions
803803

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

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

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

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

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

0 commit comments

Comments
 (0)