From e14adecdbd4b71ccf587abe9d100b193776d6258 Mon Sep 17 00:00:00 2001 From: Thomas Lively Date: Wed, 19 Jul 2023 14:01:21 -0700 Subject: [PATCH] Make type setting of i8.pack and i16.pack less jarring Having I8.PACK and I16.PACK in sans serif was visually very jarring and felt inconsistent with other similar values in the spec. Change these to lowercase for consistency and to make it look much better. --- document/core/exec/runtime.rst | 4 ++-- document/core/util/macros.def | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/document/core/exec/runtime.rst b/document/core/exec/runtime.rst index 16cddfb5a..4aace7289 100644 --- a/document/core/exec/runtime.rst +++ b/document/core/exec/runtime.rst @@ -506,7 +506,7 @@ Conventions .. math:: \begin{array}{@{}lcl} \packval_{\valtype}(\val) &=& \val \\ - \packval_{\packedtype}(\I32.\CONST~i) &=& \packedtype\K{.PACK}~(\wrap_{32,|\packtype|}(i)) + \packval_{\packedtype}(\I32.\CONST~i) &=& \packedtype\K{.pack}~(\wrap_{32,|\packtype|}(i)) \end{array} * The inverse conversion of a :ref:`field value ` to a regular :ref:`value ` is defined as follows: @@ -514,7 +514,7 @@ Conventions .. math:: \begin{array}{@{}lcl} \unpackval_{\valtype}(\val) &=& \val \\ - \unpackval^{\sx}_{\packedtype}(\packedtype\K{.PACK}~i) &=& \I32.\CONST~(\extend^{\sx}_{|\packedtype|,32}(i)) + \unpackval^{\sx}_{\packedtype}(\packedtype\K{.pack}~i) &=& \I32.\CONST~(\extend^{\sx}_{|\packedtype|,32}(i)) \end{array} diff --git a/document/core/util/macros.def b/document/core/util/macros.def index 06e7b2638..43660d7dc 100644 --- a/document/core/util/macros.def +++ b/document/core/util/macros.def @@ -1191,8 +1191,8 @@ .. |AITYPE| mathdef:: \xref{exec/runtime}{syntax-arrayinst}{\K{type}} .. |AIFIELDS| mathdef:: \xref{exec/runtime}{syntax-arrayinst}{\K{fields}} -.. |I8PACK| mathdef:: \xref{exec/runtime}{syntax-packval}{\K{I8.PACK}} -.. |I16PACK| mathdef:: \xref{exec/runtime}{syntax-packval}{\K{I16.PACK}} +.. |I8PACK| mathdef:: \xref{exec/runtime}{syntax-packval}{\K{i8.pack}} +.. |I16PACK| mathdef:: \xref{exec/runtime}{syntax-packval}{\K{i16.pack}} .. Instances, non-terminals