From 0f14d00cf7e3a919bc05523aafe225694a203e01 Mon Sep 17 00:00:00 2001 From: Eric Niebler Date: Sat, 11 Jan 2025 20:11:25 -0800 Subject: [PATCH 1/2] move para about write-env into write-env's itemdescr a paragraph about _`write-env`_ from P3396R1 got accidentally added outside of _`write-env`_'s `itemdescr`. move it inside. --- source/exec.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/exec.tex b/source/exec.tex index 4f5f491425..3afe56a2c3 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -1893,7 +1893,6 @@ }; }; \end{codeblock} -\end{itemdescr} Invocation of \tcode{\exposid{impls-for}<\exposid{write-env-t}>::\exposid{get-env}} returns an object \tcode{e} such that @@ -1907,6 +1906,7 @@ otherwise, \tcode{e.query(q)} is expression-equivalent to \tcode{get_env(rcvr).query(q)}. \end{itemize} +\end{itemdescr} \rSec2[exec.snd.concepts]{Sender concepts} From e0e076a39b4a93dac2a7f78b5089fede083d8fc0 Mon Sep 17 00:00:00 2001 From: Eric Niebler Date: Fri, 17 Jan 2025 12:40:46 -0800 Subject: [PATCH 2/2] tell latex how to hyphenate "expression-equivalent" --- source/exec.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/exec.tex b/source/exec.tex index 3afe56a2c3..613b3b29ec 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -1901,9 +1901,9 @@ \tcode{decltype(e)} models \exposconcept{queryable} and \item given a query object \tcode{q}, -the expression \tcode{e.query(q)} is expression-equivalent +the expression \tcode{e.query(q)} is ex\-pres\-sion-equiv\-alent to \tcode{state.query(q)} if that expression is valid, -otherwise, \tcode{e.query(q)} is expression-equivalent +otherwise, \tcode{e.query(q)} is ex\-pres\-sion-equiv\-alent to \tcode{get_env(rcvr).query(q)}. \end{itemize} \end{itemdescr}