fixup: overfull hboxes

Author: jensmaurer

source/exec.tex

@@ -1098,7 +1098,7 @@
 
 \pnum
 The \libconcept{operation_state} concept defines
-the requirements of an operation state type\iref{async.ops}.
+the requirements of an operation state type\iref{exec.async.ops}.
 \begin{codeblock}
 namespace std::execution {
   template<class O>
@@ -1113,7 +1113,7 @@
 
 \pnum
 If an \libconcept{operation_state} object is destroyed
-during the lifetime of its asynchronous operation\iref{async.ops},
+during the lifetime of its asynchronous operation\iref{exec.async.ops},
 the behavior is undefined.
 \begin{note}
 The \libconcept{operation_state} concept does not impose requirements
@@ -1132,7 +1132,7 @@
 
 \pnum
 The name \tcode{start} denotes a customization point object
-that starts\iref{async.ops}
+that starts\iref{exec.async.ops}
 the asynchronous operation associated with the operation state object.
 For a subexpression \tcode{op},
 the expression \tcode{start(op)} is ill-formed
@@ -1141,7 +1141,7 @@
 \tcode{\exposid{MANDATE-NOTHROW}(op.start())}.
 
 \pnum
-If \tcode{op.start()} does not start\iref{async.ops}
+If \tcode{op.start()} does not start\iref{exec.async.ops}
 the asynchronous operation associated with the operation state \tcode{op},
 the behavior of calling \tcode{start(op)} is undefined.
 
@@ -1151,7 +1151,8 @@
 
 \pnum
 For the purposes of this subclause,
-a sender is an object whose type satisfies the sender concept\iref{async.ops}.
+a sender is an object
+whose type satisfies the sender concept\iref{exec.async.ops}.
 
 \pnum
 Subclauses \ref{exec.factories} and \ref{exec.adapt} define
@@ -1173,7 +1174,7 @@
 this set of completion operations.
 Then the type of the expression \tcode{get_completion_signatures(sndr, env)} is
 a specialization of
-the class template \tcode{completion_signatures}\iref{exec.utils.cmplsigs},
+the class template \tcode{completion_signatures}\iref{exec.util.cmplsigs},
 the set of whose template arguments is \tcode{Sigs}.
 If a user-provided implementation of the algorithm
 that produced \tcode{sndr} is selected instead of the default,
@@ -1845,7 +1846,7 @@
   template<class Sndr>
     concept @\defexposconcept{enable-sender}@ =                                     // \expos
       @\exposconcept{is-sender}@<Sndr> ||
-      @\exposconcept{is-awaitable}@<Sndr, @\exposconcept{env-promise}@<empty_env>>;               // \ref{exec.awaitables}
+      @\exposconcept{is-awaitable}@<Sndr, @\exposconcept{env-promise}@<empty_env>>;               // \ref{exec.awaitable}
 
   template<class Sndr>
     concept @\deflibconcept{sender}@ =
@@ -2132,7 +2133,8 @@
 otherwise, \tcode{static_cast<Env>(std::forward<Env>(env))}.
 
 \pnum
-\mandates \tcode{noexcept(e)} is \tcode{true}.
+\mandates
+\tcode{noexcept(e)} is \tcode{true}.
 
 \pnum
 \returns
@@ -2707,7 +2709,7 @@
 \pnum
 The name \tcode{starts_on} denotes a customization point object.
 For subexpressions \tcode{sch} and \tcode{sndr},
-if \tcode{decltype((sch))} does not satisfy \libconcept{scheduler}, or
+if \tcode{decltype((\newline sch))} does not satisfy \libconcept{scheduler}, or
 \tcode{decltype((sndr))} does not satisfy \libconcept{sender},
 \tcode{starts_on(sch, sndr)} is ill-formed.
 
@@ -2724,8 +2726,8 @@
 \pnum
 Let \tcode{out_sndr} and \tcode{env} be subexpressions
 such that \tcode{OutSndr} is \tcode{decltype((out_sndr))}.
-If \tcode{\exposconcept{sender-for}<OutSndr, starts_on_t>} is \tcode{false},
-then the expressions \tcode{starts_on.transform_env(out_sndr, env)} and
+If \tcode{\exposconcept{sender-for}<Out\-Sndr, starts_on_t>} is \tcode{false},
+then the expressions \tcode{starts_on.transform_env(out_sndr, env)} and\linebreak
 \tcode{starts_on.transform_sender(out_sndr, env)} are ill-formed; otherwise
 \begin{itemize}
 \item
@@ -2801,7 +2803,7 @@
 \pnum
 Let \tcode{sndr} and \tcode{env} be subexpressions
 such that \tcode{Sndr} is \tcode{decltype((sndr))}.
-If \tcode{\exposconcept{sender-for}<Sndr, continues_on_t>} is \tcode{false},
+If \tcode{\exposconcept{sender-for}<Sndr, continues\-_on_t>} is \tcode{false},
 then
 the expression \tcode{continues_on.transform_sender(sndr, env)} is ill-formed;
 otherwise, it is equal to:
@@ -2933,7 +2935,7 @@
 namespace std::execution {
   struct @\exposid{receiver-type}@ {
     using receiver_concept = receiver_t;
-    @\exposid{state-type}@* @\exposid{state}@;          // exposition only
+    @\exposid{state-type}@* @\exposid{state}@;          // \expos
 
     void set_value() && noexcept {
       visit(
@@ -2972,7 +2974,8 @@
 The member \tcode{\exposid{impls-for}<schedule_from_t>::\exposid{complete}}
 is initialized with a callable object equivalent to the following lambda:
 \begin{codeblock}
-[]<class Tag, class... Args>(auto, auto& state, auto& rcvr, Tag, Args&&... args) noexcept -> void {
+[]<class Tag, class... Args>(auto, auto& state, auto& rcvr, Tag, Args&&... args) noexcept
+    -> void {
   using result_t = @\exposid{decayed-tuple}@<Tag, Args...>;
   constexpr bool nothrow = is_nothrow_constructible_v<result_t, Tag, Args...>;
 
@@ -3039,7 +3042,7 @@
 \item
 \tcode{decltype((sndr))} does not satisfy \libconcept{sender} and
 \tcode{sndr} is not
-a pipeable sender adaptor closure object\iref{exec.adapt.objects}, or
+a pipeable sender adaptor closure object\iref{exec.adapt.obj}, or
 \item
 \tcode{decltype((sndr))} satisfies \libconcept{sender} and
 \tcode{sndr }is also a pipeable sender adaptor closure object.
@@ -3063,7 +3066,7 @@
 \item
 \tcode{decltype((sndr))} does not satisfy \libconcept{sender}, or
 \item
-\tcode{closure} is not a pipeable sender adaptor closure object\iref{exec.adapt.objects},
+\tcode{closure} is not a pipeable sender adaptor closure object\iref{exec.adapt.obj},
 \end{itemize}
 the expression \tcode{on(sndr, sch, closure)} is ill-formed;
 otherwise, it is expression-equivalent to:
@@ -3077,7 +3080,7 @@
 \pnum
 Let \tcode{out_sndr} and \tcode{env} be subexpressions,
 let \tcode{OutSndr} be \tcode{decltype((out_sndr))}, and
-let \tcode{Env} be \tcode{decltype((env))}.
+let \tcode{Env} be \tcode{decltype((\linebreak env))}.
 If \tcode{\exposconcept{sender-for}<OutSndr, on_t>} is \tcode{false},
 then the expressions \tcode{on.transform_env(out_sndr, env)} and
 \tcode{on.transform_sender(out_sndr, env)} are ill-formed.
@@ -3239,7 +3242,7 @@
 For subexpressions \tcode{sndr} and \tcode{f},
 if \tcode{decltype((sndr))} does not satisfy \libconcept{sender}, or
 \tcode{decltype((f))} does not satisfy \exposid{movable-value},
-\tcode{\exposid{then-cpo}(sndr, f) }is ill-formed.
+\tcode{\exposid{then-cpo}(\linebreak sndr, f) }is ill-formed.
 
 \pnum
 Otherwise,
@@ -3374,8 +3377,8 @@
       return @\exposid{JOIN-ENV}@(@\exposid{env}@, @\exposid{FWD-ENV}@(execution::get_env(@\exposid{rcvr}@)));
     }
 
-    Rcvr& @\exposid{rcvr}@;                 // exposition only
-    Env @\exposid{env}@;                    // exposition only
+    Rcvr& @\exposid{rcvr}@;                 // \expos
+    Env @\exposid{env}@;                    // \expos
   };
 }
 \end{codeblock}
@@ -3392,10 +3395,10 @@
   using ops2_variant_t = @\seebelow@;
 
   struct @\exposid{state-type}@ {
-    fn_t @\exposid{fn}@;                    // exposition only
-    env_t @\exposid{env}@;                  // exposition only
-    args_variant_t @\exposid{args}@;        // exposition only
-    ops2_variant_t @\exposid{ops2}@;        // exposition only
+    fn_t @\exposid{fn}@;                    // \expos
+    env_t @\exposid{env}@;                  // \expos
+    args_variant_t @\exposid{args}@;        // \expos
+    ops2_variant_t @\exposid{ops2}@;        // \expos
   };
   return @\exposid{state-type}@{std::forward_like<Sndr>(fn), @\exposid{let-env}@(child), {}, {}};
 }
@@ -3408,7 +3411,7 @@
 Let \tcode{LetSigs} be a pack of those types in \tcode{Sigs}
 with a return type of \tcode{\exposid{decayed-typeof}<\exposid{set-cpo}>}.
 Let \exposid{as-tuple} be an alias template
-such that \tcode{\exposid{as-tuple}<Tag(Args...)>} denotes
+such that \tcode{\exposid{as-tuple}<\linebreak Tag(Args...)>} denotes
 the type \tcode{\exposid{decayed-tuple}<Args...>}.
 Then \tcode{args_variant_t} denotes
 the type \tcode{variant<monostate, \exposid{as-tuple}<LetSigs>...>}
@@ -3420,7 +3423,10 @@
 such that \tcode{\exposid{as-sndr2}<Tag(Args...)>} denotes
 the type \tcode{\exposid{call-result-t}<Fn, decay_t<Args>\&...>}.
 Then \tcode{ops2_variant_t} denotes
-the type \tcode{variant<monostate, connect_result_t<\exposid{as-sndr2}<LetSigs>, \exposid{receiver2}<Rcvr, Env>>...>}
+the type
+\begin{codeblock}
+variant<monostate, connect_result_t<@\exposid{as-sndr2}@<LetSigs>, @\exposid{receiver2}@<Rcvr, Env>>...>
+\end{codeblock}
 except with duplicate types removed.
 
 \pnum
@@ -3460,7 +3466,7 @@
 Let \tcode{sndr} and \tcode{env} be subexpressions, and
 let \tcode{Sndr} be \tcode{decltype((sndr))}.
 If
-\tcode{\exposconcept{sender-for<}Sndr, \exposid{decayed-typeof}<\exposid{let-cpo}>>}
+\tcode{\exposconcept{sender-for<}Sndr, \exposid{decayed-\linebreak typeof}<\exposid{let-cpo}>>}
 is \tcode{false},
 then the expression \tcode{\exposid{let-cpo}.transform_env(sndr, env)}
 is ill-formed.
@@ -3770,7 +3776,9 @@
 such that \tcode{\exposid{as-tuple}<Tag(Args...)>} denotes
 the type \tcode{\exposid{decayed-tuple}<Tag, Args...>}.
 Then \exposid{variant-type} denotes the type
-\tcode{variant<tuple<set_stopped_t>, tuple<set_error_t, exception_ptr>, \exposid{as-tuple}<Sigs>...>},
+\begin{codeblock}
+variant<tuple<set_stopped_t>, tuple<set_error_t, exception_ptr>, @\exposid{as-tuple}@<Sigs>...>
+\end{codeblock}
 but with duplicate types removed.
 
 \pnum
@@ -3786,7 +3794,7 @@
 \pnum
 \effects
 Initializes \exposid{op_state} with the result of
-\tcode{connect(std::forward<Sndr>(sndr), \exposid{split-receiver}\{this\})}.
+\tcode{connect(std::forward<Sndr>(sndr), \exposid{split-re\-ceiver}\{this\})}.
 
 \pnum
 \ensures
@@ -4083,12 +4091,14 @@
 
 \pnum
 The alias \tcode{values_tuple} denotes the type
-\tcode{tuple<value_types_of_t<Sndrs, env_of_t<Rcvr>, decayed-tuple, optional>...>}
+\begin{codeblock}
+tuple<value_types_of_t<Sndrs, env_of_t<Rcvr>, decayed-tuple, optional>...>
+\end{codeblock}
 if that type is well-formed; otherwise, \tcode{tuple<>}.
 
 \pnum
 The alias \tcode{errors_variant} denotes
-the type \tcode{variant<none-such, copy-fail, Es...>}
+the type \tcode{variant<\exposid{none-such}, \exposid{copy-fail}, Es...>}
 with duplicate types removed,
 where \tcode{Es} is the pack of the decayed types
 of all the child senders' possible error result datums.
@@ -4189,7 +4199,7 @@
 }
 \end{codeblock}
 if the expression \tcode{decltype(auto(e))(e)} is potentially throwing;
-otherwise, \tcode{v.template emplace<decltype(auto(e))>(e)};
+otherwise, \tcode{v.template emplace<decl\-type(auto(e))>(e)};
 and where \tcode{\exposid{TRY-EMPLACE-VALUE}(c, o, as...)},
 for subexpressions \tcode{c}, \tcode{o}, and pack of subexpressions \tcode{as},
 is equivalent to:
@@ -4203,7 +4213,7 @@
 \end{codeblock}
 if the expression \tcode{decayed-tuple<decltype(as)...>\{as...\}}
 is potentially throwing;
-otherwise, \tcode{o.emplace(as...)}.
+otherwise, \tcode{o.emplace(\linebreak as...)}.
 
 \pnum
 The expression \tcode{when_all_with_variant(sndrs...)}