From c8f87efff280712450ea02359b805032570a8a39 Mon Sep 17 00:00:00 2001 From: Lewis Baker Date: Mon, 12 Aug 2024 20:57:08 +0930 Subject: [PATCH 1/2] Fix markup of product-type constructor call in [exec.just] The `\exposid{product-type}` needed some extra `@` symbols surrounding so that the subsequent curly-braces for the constructor call are treated as literal text. --- source/exec.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/exec.tex b/source/exec.tex index b9d739c0b8..dd77ad6440 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -2583,7 +2583,7 @@ \end{itemize} Otherwise, it is expression-equivalent to -\tcode{\exposid{make-sender}(\exposid{just-cpo}, \exposid{product-type}{ts...})}. +\tcode{\exposid{make-sender}(\exposid{just-cpo}, @\exposid{product-type}@{ts...})}. For \tcode{just}, \tcode{just_error}, and \tcode{just_stopped}, let \exposid{set-cpo} be From 93f9e4bdd4181fe213862958894df725554a30fc Mon Sep 17 00:00:00 2001 From: Lewis Baker Date: Thu, 15 Aug 2024 06:12:36 +0930 Subject: [PATCH 2/2] Use backslashes to escape curly-braces inside \tcode section Use backslashes to escape instead of the @ symbol. --- source/exec.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/exec.tex b/source/exec.tex index dd77ad6440..9a2cf70cd7 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -2583,7 +2583,7 @@ \end{itemize} Otherwise, it is expression-equivalent to -\tcode{\exposid{make-sender}(\exposid{just-cpo}, @\exposid{product-type}@{ts...})}. +\tcode{\exposid{make-sender}(\exposid{just-cpo}, \exposid{product-type}\{ts...\})}. For \tcode{just}, \tcode{just_error}, and \tcode{just_stopped}, let \exposid{set-cpo} be