Skip to content

Commit 89517e6

Browse files
burblebeetkoeppe
authored andcommitted
LWG4205 let_[*].transform_env is specified in terms of the let_* sender itself instead of its child
[exec.let] Added : before codeblock for consistency.
1 parent bd17337 commit 89517e6

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

source/exec.tex

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3612,8 +3612,11 @@
36123612
is \tcode{false},
36133613
then the expression \tcode{\exposid{let-cpo}.transform_env(sndr, env)}
36143614
is ill-formed.
3615-
Otherwise, it is equal to
3616-
\tcode{\exposid{JOIN-ENV}(\exposid{let-env}(sndr), \exposid{FWD-ENV}(env))}.
3615+
Otherwise, it is equal to:
3616+
\begin{codeblock}
3617+
auto& [_, _, child] = sndr;
3618+
return @\exposid{JOIN-ENV}@(@\exposid{let-env}@(child), @\exposid{FWD-ENV}@(env));
3619+
\end{codeblock}
36173620

36183621
\pnum
36193622
Let the subexpression \tcode{out_sndr} denote

0 commit comments

Comments
 (0)