fixup: continue on new line after period

Author: dietmarkuehl

source/exec.tex

@@ -5695,16 +5695,17 @@
 
 \pnum
 \tcode{affine_on} adapts a sender into one that completes on
-the specified scheduler. If the algorithm determines that the adapted
-sender already completes on the correct scheduler it can avoid any
-scheduling operation.
+the specified scheduler.
+If the algorithm determines that the adapted sender already completes
+on the correct scheduler it can avoid any scheduling operation.
 
 \pnum
 The name \tcode{affine_on} denotes a pipeable sender adaptor
-object. For subexpressions \tcode{sch} and \tcode{sndr}, if
-\tcode{decltype((sch))} does not satisfy \libconcept{scheduler}, or
-\tcode{decltype((sndr))} does not satisfy \libconcept{sender},
-\tcode{affine_on(sndr, sch)} is ill-formed.
+object.
+For subexpressions \tcode{sch} and \tcode{sndr}, if \tcode{decltype((sch))}
+does not satisfy \libconcept{scheduler}, or \tcode{decltype((sndr))}
+does not satisfy \libconcept{sender}, \tcode{affine_on(sndr, sch)}
+is ill-formed.
 
 \pnum
 Otherwise, the expression \tcode{affine_on(sndr, sch)} is
@@ -5736,17 +5737,19 @@
 and let \tcode{OutSndr} be the type \tcode{decltype((out_sndr))}.
 Let \tcode{out_rcvr} be a subexpression denoting a receiver that
 has an environment of type \tcode{Env} such that \tcode{\libconcept{sender_in}<OutSndr, Env>}
-is \tcode{true}.  Let \tcode{op} be an lvalue referring to
-the operation state that results from connecting \tcode{out_sndr}
-to \tcode{out_rcvr}. Calling \tcode{start(op)} will start \tcode{sndr}
-on the current execution agent and execute completion operations
-on \tcode{out_rcvr} on an execution agent of the execution resource
-associated with \tcode{sch}. If the current execution resource is
-the same as the execution resource associated with \tcode{sch}, the
-completion operation on \tcode{out_rcvr} may be called before
-\tcode{start(op)} completes. If scheduling onto \tcode{sch} fails,
-an error completion on \tcode{out_rcvr} shall be executed on an
-unspecified execution agent.
+is \tcode{true}.
+Let \tcode{op} be an lvalue referring to the operation state that
+results from connecting \tcode{out_sndr} to \tcode{out_rcvr}.
+Calling \tcode{start(op)} will start \tcode{sndr} on the current
+execution agent and execute completion operations on \tcode{out_rcvr}
+on an execution agent of the execution resource associated with
+\tcode{sch}.
+If the current execution resource is the same as the execution
+resource associated with \tcode{sch}, the completion operation on
+\tcode{out_rcvr} may be called before \tcode{start(op)} completes.
+If scheduling onto \tcode{sch} fails, an error completion on
+\tcode{out_rcvr} shall be executed on an unspecified execution
+agent.
 
 \rSec2[exec.inline.scheduler]{\tcode{execution::inline_scheduler}}
 
@@ -5768,13 +5771,13 @@
 
 \pnum
 \tcode{inline_scheduler} is a class that models
-\libconcept{scheduler}\iref{exec.sched}. All objects of type
-\tcode{inline_scheduler} are equal.
+\libconcept{scheduler}\iref{exec.sched}.
+All objects of type \tcode{inline_scheduler} are equal.
 
 \pnum
 \exposid{inline-sender} is an exposition-only type that satisfies
-\libconcept{sender}. The type
-\tcode{completion_signatures_of_t<\exposid{inline-sender}>}
+\libconcept{sender}.
+he type \tcode{completion_signatures_of_t<\exposid{inline-sender}>}
 is \tcode{completion_signatures<set_value_t()>}.
 
 \pnum
@@ -5843,9 +5846,9 @@
 
 \pnum
 \tcode{task_scheduler} is a class that models
-\libconcept{scheduler}\iref{exec.sched}.  Given on object \tcode{s}
-of type \tcode{task_scheduler}, let \tcode{SCHED(s)} be the object
-owned by \tcode{s.\exposid{sch_}}.
+\libconcept{scheduler}\iref{exec.sched}.
+Given on object \tcode{s} of type \tcode{task_scheduler}, let
+\tcode{SCHED(s)} be the object owned by \tcode{s.\exposid{sch_}}.
 
 \begin{itemdecl}
 template<class Sch, class Allocator = allocator<void>>
@@ -5932,11 +5935,11 @@
 \pnum
 Let \tcode{sch} be an object of type \tcode{task_scheduler}
 and let \tcode{sndr} be an object of type \exposid{ts-sender} obtained
-from \tcode{schedule(sch)}. Then
-\tcode{get_completion_scheduler<set_value_t>(get_env(sndr)) == sch}
-is \tcode{true}. The object \tcode{SENDER(sndr)} is the sender
-object contained by \tcode{sndr} or an object move constructed from
-it.
+from \tcode{schedule(sch)}.
+Then \tcode{get_completion_scheduler<set_value_t>(get_env(sndr)) == sch}
+is \tcode{true}.
+The object \tcode{SENDER(sndr)} is the sender object contained by
+\tcode{sndr} or an object move constructed from it.
 
 \begin{itemdecl}
 template<@\libconcept{receiver}@ Rcvr>
@@ -5947,9 +5950,9 @@
 \effects
 Let \tcode{r} be an object of a type that models \libconcept{receiver}
 and whose completion handlers result in invoking the corresponding
-completion handlers of \tcode{rcvr} or copy thereof.  Returns an
-object of type \tcode{\exposid{state}<Rcvr>} containing an operation
-state object initialized with \tcode{connect(SENDER(*this),
+completion handlers of \tcode{rcvr} or copy thereof.
+Returns an object of type \tcode{\exposid{state}<Rcvr>} containing
+an operation state object initialized with \tcode{connect(SENDER(*this),
 std::move(r))}.
 
 \begin{codeblock}
@@ -5983,13 +5986,14 @@
 
 \pnum
 The \tcode{task} class template represents a sender that can
-be used as the return type of coroutines. The first template parameter
-\tcode{T} defines the type of the value completion datum
-\iref{exec.async.ops} if \tcode{T} is not \tcode{void}. Otherwise,
-there are no value completion datums.  Inside coroutines returning
-\tcode{task<T, E>} the operand of \tcode{co_return} (if any) becomes
-the argument of \tcode{set_value}.  The second template parameter
-\tcode{Environment} is used to customize the behavior of \tcode{task}.
+be used as the return type of coroutines.
+The first template parameter \tcode{T} defines the type of the value
+completion datum \iref{exec.async.ops} if \tcode{T} is not \tcode{void}.
+Otherwise, there are no value completion datums.
+Inside coroutines returning \tcode{task<T, E>} the operand of
+\tcode{co_return} (if any) becomes the argument of \tcode{set_value}.
+The second template parameter \tcode{Environment} is used to customize
+the behavior of \tcode{task}.
 
 \rSec3[task.class]{Class template \tcode{task}}
 
@@ -6028,8 +6032,9 @@
 \pnum
 \tcode{task<T, E>} models \libconcept{sender}\iref{exec.snd}
 if \tcode{T} is \tcode{void}, a reference type, or a \cv{}-unqualified
-non-array object type and \tcode{E} is a class type. Otherwise a program
-that instantiates the definition of \tcode{task<T, E>} is ill-formed.
+non-array object type and \tcode{E} is a class type.
+Otherwise a program that instantiates the definition of \tcode{task<T, E>}
+is ill-formed.
 
 \pnum
 The nested types of \tcode{task} template specializations
@@ -6297,8 +6302,8 @@
 
 \pnum
 Let \tcode{prom} be an object of \tcode{promise_type} and let \tcode{tsk} be
-the \tcode{task} object created by \tcode{prom.get_return_object()}. The
-description below refers to objects \tcode{STATE(prom)},
+the \tcode{task} object created by \tcode{prom.get_return_object()}.
+The description below refers to objects \tcode{STATE(prom)},
 \tcode{RCVR(prom)}, and \tcode{SCHED(prom)} associated
 with \tcode{tsk} during evalutation of \tcode{task::\exposid{state}<Rcvr>::start}
 for some receiver \tcode{Rcvr}.
@@ -6325,8 +6330,8 @@
 \effects
 If \tcode{Args} contains an element of type \tcode{allocator_arg_t}
 then \exposid{alloc} is initialized with the corresponding next
-element of \tcode{args}. Otherwise, \exposid{alloc} is initialized
-with \tcode{allocator_type()}.
+element of \tcode{args}.
+Otherwise, \exposid{alloc} is initialized with \tcode{allocator_type()}.
 \end{itemdescr}
 
 \begin{itemdecl}
@@ -6390,8 +6395,8 @@
 \pnum
 \mandates
 \tcode{std::move(err.error)} is convertible to exactly one of the
-\tcode{set_error_t} argument types of \tcode{error_types}. Let
-\tcode{Cerr} be that type.
+\tcode{set_error_t} argument types of \tcode{error_types}.
+Let \tcode{Cerr} be that type.
 
 \pnum
 \returns
@@ -6475,8 +6480,8 @@
 \item For any other query \tcode{q} and arguments \tcode{a...} a
     call to \tcode{env.query(q, a...)} returns
     \tcode{STATE(*this).} \tcode{environment.query(q, a...)} if this expression
-    is well-formed and \tcode{forwarding_query(q)} is well-formed and is \tcode{true}.  Otherwise
-    \tcode{env.query(q, a...)} is ill-formed.
+    is well-formed and \tcode{forwarding_query(q)} is well-formed and is \tcode{true}.
+    Otherwise \tcode{env.query(q, a...)} is ill-formed.
 \end{itemize}
 \end{itemdescr}
 
@@ -6488,10 +6493,11 @@
 \begin{itemdescr}
 \pnum
 If there is no parameter with type \tcode{allocator_arg_t} then let
-\tcode{alloc} be \tcode{Allocator()}.  Let \tcode{arg_next} be the
-parameter following the first \tcode{allocator_arg_t} parameter (if
-any) and let \tcode{alloc} be \tcode{Allocator(arg_next)}.  Then
-\tcode{PAlloc} is \tcode{allocator_traits<Allocator>::template
+\tcode{alloc} be \tcode{Allocator()}.
+Let \tcode{arg_next} be the parameter following the first
+\tcode{allocator_arg_t} parameter (if any) and let \tcode{alloc}
+be \tcode{Allocator(arg_next)}.
+Then \tcode{PAlloc} is \tcode{allocator_traits<Allocator>::template
 re\-bind_alloc\brk{}<U>} where \tcode{U} is an unspecified type
 whose size and alignment are both \tcode{__STDCPP_DEFAULT_NEW_ALIGNMENT__}.
 
@@ -6508,7 +6514,8 @@
 \pnum
 \effects
 Initializes an allocator \tcode{palloc} of type \tcode{PAlloc} with
-\tcode{alloc}. Uses \tcode{palloc} to allocate storage for the
+\tcode{alloc}.
+Uses \tcode{palloc} to allocate storage for the
 smallest array of \tcode{U} sufficient to provide storage for a
 coroutine state of size \tcode{size}, and unspecified additional
 state necessary to ensure that \tcode{operator delete} can later