From 0531f34ce9526678b7350c1bd2bd589e95674556 Mon Sep 17 00:00:00 2001 From: Keith Winstein Date: Thu, 5 Jun 2025 16:55:51 -0700 Subject: [PATCH] [spec] Remove vestigial prime symbol in data segment 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 0ce3583bd2..aeaf5e7537 100644 --- a/document/core/text/modules.rst +++ b/document/core/text/modules.rst @@ -659,7 +659,7 @@ The data is written as a :ref:`string `, which may be split up into \text{(}~\text{data}~~\Tid^?~~b^\ast{:}\Tdatastring~\text{)} \\ &&& \qquad \Rightarrow\quad \{ \DINIT~b^\ast, \DMODE~\DPASSIVE \} \\ &&|& \text{(}~\text{data}~~\Tid^?~~x{:}\Tmemuse_I~~\text{(}~\text{offset}~~e{:}\Texpr_I~\text{)}~~b^\ast{:}\Tdatastring~\text{)} \\ &&& \qquad - \Rightarrow\quad \{ \DINIT~b^\ast, \DMODE~\DACTIVE~\{ \DMEM~x', \DOFFSET~e \} \} \\ + \Rightarrow\quad \{ \DINIT~b^\ast, \DMODE~\DACTIVE~\{ \DMEM~x, \DOFFSET~e \} \} \\ \production{data string} & \Tdatastring &::=& (b^\ast{:}\Tstring)^\ast \quad\Rightarrow\quad \concat((b^\ast)^\ast) \\ \production{memory use} & \Tmemuse_I &::=&