From 7761a48e0cc4b7f0ed221e30904c394433b34418 Mon Sep 17 00:00:00 2001 From: RI5255 Date: Mon, 16 Oct 2023 19:34:09 +0900 Subject: [PATCH 1/2] [spec] Add a new step to Invocation --- document/core/exec/modules.rst | 2 ++ 1 file changed, 2 insertions(+) diff --git a/document/core/exec/modules.rst b/document/core/exec/modules.rst index ad485c3612..65561d146e 100644 --- a/document/core/exec/modules.rst +++ b/document/core/exec/modules.rst @@ -798,6 +798,8 @@ Once the function has returned, the following steps are executed: 2. Pop :math:`\val_{\F{res}}^m` from the stack. +3. Pop the frame :math:`F` from the stack. + The values :math:`\val_{\F{res}}^m` are returned as the results of the invocation. .. math:: From b3391e15228dd11b05c23993d0e2279860ef50d1 Mon Sep 17 00:00:00 2001 From: RI5255 Date: Mon, 16 Oct 2023 23:12:01 +0900 Subject: [PATCH 2/2] [spec] Add a assertion to Invocation --- document/core/exec/modules.rst | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/document/core/exec/modules.rst b/document/core/exec/modules.rst index 65561d146e..cdb20d03c4 100644 --- a/document/core/exec/modules.rst +++ b/document/core/exec/modules.rst @@ -798,7 +798,9 @@ Once the function has returned, the following steps are executed: 2. Pop :math:`\val_{\F{res}}^m` from the stack. -3. Pop the frame :math:`F` from the stack. +3. Assert: due to :ref:`validation `, the frame :math:`F` is now on the top of the stack. + +4. Pop the frame :math:`F` from the stack. The values :math:`\val_{\F{res}}^m` are returned as the results of the invocation.