From 6dae7da1cb7c3f35a27d0291d28d6d48fe1bb202 Mon Sep 17 00:00:00 2001 From: Andreas Rossberg Date: Wed, 25 Mar 2020 16:15:37 +0100 Subject: [PATCH 1/2] [spec] Fix typo in rule --- document/core/exec/runtime.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/document/core/exec/runtime.rst b/document/core/exec/runtime.rst index e87c2a9002..4d06679200 100644 --- a/document/core/exec/runtime.rst +++ b/document/core/exec/runtime.rst @@ -476,7 +476,7 @@ That way, the end of the inner instruction sequence is known when part of an out When |END| is reached, i.e., the inner instruction sequence has been reduced to the empty sequence -- or rather, a sequence of :math:`n` |CONST| instructions representing the resulting values -- then the |LABEL| instruction is eliminated courtesy of its own :ref:`reduction rule `: .. math:: - \LABEL_n\{\instr^n\}~\val^\ast~\END \quad\stepto\quad \val^n + \LABEL_n\{\instr^\ast\}~\val^n~\END \quad\stepto\quad \val^n This can be interpreted as removing the label from the stack and only leaving the locally accumulated operand values. From a8e96bfd87c1c9cda2d19013de83c524fab8b5bd Mon Sep 17 00:00:00 2001 From: Andreas Rossberg Date: Wed, 25 Mar 2020 16:18:42 +0100 Subject: [PATCH 2/2] Actually fix it --- document/core/exec/runtime.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/document/core/exec/runtime.rst b/document/core/exec/runtime.rst index 4d06679200..fd3004c8a3 100644 --- a/document/core/exec/runtime.rst +++ b/document/core/exec/runtime.rst @@ -476,7 +476,7 @@ That way, the end of the inner instruction sequence is known when part of an out When |END| is reached, i.e., the inner instruction sequence has been reduced to the empty sequence -- or rather, a sequence of :math:`n` |CONST| instructions representing the resulting values -- then the |LABEL| instruction is eliminated courtesy of its own :ref:`reduction rule `: .. math:: - \LABEL_n\{\instr^\ast\}~\val^n~\END \quad\stepto\quad \val^n + \LABEL_m\{\instr^\ast\}~\val^n~\END \quad\stepto\quad \val^n This can be interpreted as removing the label from the stack and only leaving the locally accumulated operand values.