From 7a96b37dddb7ad6acff2b542bf89ec0ceb37afc9 Mon Sep 17 00:00:00 2001 From: DJ Date: Wed, 24 Jul 2024 16:59:40 +0900 Subject: [PATCH] [spec] Fix execution semantics prose of `ARRAY.NEW_DATA` --- document/core/exec/instructions.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/document/core/exec/instructions.rst b/document/core/exec/instructions.rst index f7c1bea4b..941299770 100644 --- a/document/core/exec/instructions.rst +++ b/document/core/exec/instructions.rst @@ -803,11 +803,11 @@ Reference Instructions 17. Let :math:`t` be the :ref:`value type ` :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 `, :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.