From be1f56354b251ae15b6ac4220c5ea0f0a5f894f9 Mon Sep 17 00:00:00 2001 From: RIRU <92210252+RI5255@users.noreply.github.com> Date: Mon, 16 Oct 2023 23:59:12 +0900 Subject: [PATCH] [spec] Pop dummy frame after Invocation (#1691) --- document/core/exec/modules.rst | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/document/core/exec/modules.rst b/document/core/exec/modules.rst index ad485c3612..cdb20d03c4 100644 --- a/document/core/exec/modules.rst +++ b/document/core/exec/modules.rst @@ -798,6 +798,10 @@ Once the function has returned, the following steps are executed: 2. Pop :math:`\val_{\F{res}}^m` 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. .. math::