From 6810090dd4de2757a2de1c425426de8990f17d14 Mon Sep 17 00:00:00 2001 From: Sergey Zubkov Date: Wed, 11 Nov 2026 18:52:34 -0500 Subject: [PATCH] [exec.snd.transform] transformed-sndr typo in transform-recurse The definition of transform-recurse referred to transformed-sender, which is not defined; the expression it means is transformed-sndr. Also format the subexpressions with \tcode rather than \exposid. --- source/exec.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/exec.tex b/source/exec.tex index f49dbdbd55..e7f3c33361 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -2931,11 +2931,11 @@ \end{codeblock} Let \tcode{\exposid{transform-recurse}(dom, tag, s)} be the expression \tcode{\exposid{transformed-sndr}(dom, tag, s)} -if\newline \tcode{\exposid{transformed-sndr}(dom, tag, s)} and \exposid{s} +if\newline \tcode{\exposid{transformed-sndr}(dom, tag, s)} and \tcode{s} have the same type ignoring cv-qualifiers; otherwise, it is the expression \tcode{\exposid{transform-recurse}(dom2, tag, s2)}, where -\tcode{s2} is \tcode{\exposid{transformed-sender}(dom, tag, s)} and +\tcode{s2} is \tcode{\exposid{transformed-sndr}(dom, tag, s)} and \tcode{dom2} is \exposid{start-domain} if \tcode{tag} is \tcode{start}, and \tcode{\exposid{completion-domain}(s2)} otherwise.