From 3cdb6ea376a5731cc70f7ea2516319247acf253c Mon Sep 17 00:00:00 2001 From: Andreas Rossberg Date: Thu, 19 Jan 2023 10:52:16 +0100 Subject: [PATCH 1/2] [spec] Fix context composition in text format --- document/core/text/modules.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/document/core/text/modules.rst b/document/core/text/modules.rst index fde59878a8..337cb927ef 100644 --- a/document/core/text/modules.rst +++ b/document/core/text/modules.rst @@ -200,7 +200,7 @@ Function definitions can bind a symbolic :ref:`function identifier `, a \text{(}~\text{func}~~\Tid^?~~x,I'{:}\Ttypeuse_I~~ (t{:}\Tlocal)^\ast~~(\X{in}{:}\Tinstr_{I''})^\ast~\text{)} \\ &&& \qquad \Rightarrow\quad \{ \FTYPE~x, \FLOCALS~t^\ast, \FBODY~\X{in}^\ast~\END \} \\ &&& \qquad\qquad\qquad - (\iff I'' = I' \compose \{\ILOCALS~\F{id}(\Tlocal)^\ast\} \idcwellformed) \\[1ex] + (\iff I'' = I \compose I' \compose \{\ILOCALS~\F{id}(\Tlocal)^\ast\} \idcwellformed) \\[1ex] \production{local} & \Tlocal &::=& \text{(}~\text{local}~~\Tid^?~~t{:}\Tvaltype~\text{)} \quad\Rightarrow\quad t \\ From 3a8a5a4810278cfe2dd3ba7b539ae28948630191 Mon Sep 17 00:00:00 2001 From: Andreas Rossberg Date: Thu, 19 Jan 2023 10:55:35 +0100 Subject: [PATCH 2/2] Update modules.rst --- document/core/text/modules.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/document/core/text/modules.rst b/document/core/text/modules.rst index 337cb927ef..c34077326f 100644 --- a/document/core/text/modules.rst +++ b/document/core/text/modules.rst @@ -108,7 +108,7 @@ If inline declarations are given, then their types must match the referenced :re \end{array} \\ \end{array} -The synthesized attribute of a |Ttypeuse| is a pair consisting of both the used :ref:`type index ` and the updated :ref:`identifier context ` including possible parameter identifiers. +The synthesized attribute of a |Ttypeuse| is a pair consisting of both the used :ref:`type index ` and the local :ref:`identifier context ` containing possible parameter identifiers. The following auxiliary function extracts optional identifiers from parameters: .. math::