From c84a3c63b19fe11e79d3afec0ac1eb6ab7ac80aa Mon Sep 17 00:00:00 2001 From: Thomas Lively Date: Sun, 14 Apr 2024 16:59:21 -0700 Subject: [PATCH] [Spec] Fix bounds check prose for array.fill and array.copy The prose incorrectly used "larger than or equal to" when it should have used just "larger than." The formalism was already correct. Fixes #536. --- document/core/exec/instructions.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/document/core/exec/instructions.rst b/document/core/exec/instructions.rst index 4c5832110..c9db8bc3d 100644 --- a/document/core/exec/instructions.rst +++ b/document/core/exec/instructions.rst @@ -1065,7 +1065,7 @@ Reference Instructions 12. Assert: due to :ref:`validation `, the :ref:`array instance ` :math:`S.\SARRAYS[a]` exists. -13. If :math:`d + n` is larger than or equal to the length of :math:`S.\SARRAYS[a].\AIFIELDS`, then: +13. If :math:`d + n` is larger than the length of :math:`S.\SARRAYS[a].\AIFIELDS`, then: a. Trap. @@ -1175,11 +1175,11 @@ Reference Instructions 23. Assert: due to :ref:`validation `, the :ref:`array instance ` :math:`S.\SARRAYS[a_2]` exists. -24. If :math:`d + n` is larger than or equal to the length of :math:`S.\SARRAYS[a_1].\AIFIELDS`, then: +24. If :math:`d + n` is larger than the length of :math:`S.\SARRAYS[a_1].\AIFIELDS`, then: a. Trap. -25. If :math:`s + n` is larger than or equal to the length of :math:`S.\SARRAYS[a_2].\AIFIELDS`, then: +25. If :math:`s + n` is larger than the length of :math:`S.\SARRAYS[a_2].\AIFIELDS`, then: a. Trap.