From 2f16867a6e47819d26c12adec496c0aba82aa761 Mon Sep 17 00:00:00 2001 From: Thomas Lively Date: Thu, 9 Nov 2023 19:31:58 -0800 Subject: [PATCH] [spec] Fix formatting of any.convert_extern and extern.convert_any The underscore needs to be escaped. --- document/core/text/instructions.rst | 6 +++--- document/core/util/macros.def | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/document/core/text/instructions.rst b/document/core/text/instructions.rst index cf84de104..619761e4d 100644 --- a/document/core/text/instructions.rst +++ b/document/core/text/instructions.rst @@ -240,8 +240,8 @@ Reference Instructions \text{ref.i31} &\Rightarrow& \REFI31 \\ &&|& \text{i31.get\_u} &\Rightarrow& \I31GETU \\ &&|& \text{i31.get\_s} &\Rightarrow& \I31GETS \\ &&|& - \text{any.convert_extern} &\Rightarrow& \ANYCONVERTEXTERN \\ &&|& - \text{extern.convert_any} &\Rightarrow& \EXTERNCONVERTANY \\ + \text{any.convert\_extern} &\Rightarrow& \ANYCONVERTEXTERN \\ &&|& + \text{extern.convert\_any} &\Rightarrow& \EXTERNCONVERTANY \\ \end{array} @@ -989,7 +989,7 @@ Such a folded instruction can appear anywhere a regular instruction can. .. math:: \begin{array}{lllll} - \production{instruction} & + \production{instruction} & \text{(}~\Tplaininstr~~\Tfoldedinstr^\ast~\text{)} &\equiv\quad \Tfoldedinstr^\ast~~\Tplaininstr \\ & \text{(}~\text{block}~~\Tlabel~~\Tblocktype~~\Tinstr^\ast~\text{)} diff --git a/document/core/util/macros.def b/document/core/util/macros.def index b7499f0ec..602c4fb51 100644 --- a/document/core/util/macros.def +++ b/document/core/util/macros.def @@ -506,8 +506,8 @@ .. |I31GETS| mathdef:: \xref{syntax/instructions}{syntax-instr-i31}{\K{i31.get\_s}} .. |I31GETU| mathdef:: \xref{syntax/instructions}{syntax-instr-i31}{\K{i31.get\_u}} -.. |ANYCONVERTEXTERN| mathdef:: \xref{syntax/instructions}{syntax-instr-extern}{\K{any.convert_extern}} -.. |EXTERNCONVERTANY| mathdef:: \xref{syntax/instructions}{syntax-instr-extern}{\K{extern.convert_any}} +.. |ANYCONVERTEXTERN| mathdef:: \xref{syntax/instructions}{syntax-instr-extern}{\K{any.convert\_extern}} +.. |EXTERNCONVERTANY| mathdef:: \xref{syntax/instructions}{syntax-instr-extern}{\K{extern.convert\_any}} .. |CONST| mathdef:: \xref{syntax/instructions}{syntax-instr-numeric}{\K{const}} .. |EQZ| mathdef:: \xref{syntax/instructions}{syntax-instr-numeric}{\K{eqz}}