FIXUP: Fix errors and make changes as suggested in the review.

Author: burblebee

source/exceptions.tex

@@ -1129,11 +1129,11 @@
 whose promise type has an \tcode{unhandled_stopped} member function, or
 
 \item%
-when an object scope of type
+when an object \tcode{scope} of type
 \tcode{std::execution::simple_counting_scope} or
 \tcode{std::execution::counting_scope}
 is destroyed and
-\tcode{scope.state} is not equal to
+\tcode{scope.\exposid{state}} is not equal to
 \exposid{joined},
 \exposid{unused}, or
 \exposid{unused-and-closed}\iref{exec.simple.counting.ctor}.

source/exec.tex

@@ -4590,7 +4590,7 @@
 \begin{itemdescr}
 \pnum
 \constraints
-copy_constructible<\exposid{wrap-sender}> is \tcode{true}.
+\tcode{\libconcept{copy_constructible}<\exposid{wrap-sender}>} is \tcode{true}.
 
 \pnum
 \effects
@@ -4616,7 +4616,7 @@
 \pnum
 \effects
 Initializes \exposid{sndr} with \tcode{std::move(other.\exposid{sndr})} and
-initializes \exposid{token} with \tcode{std::move(other.\linebreak{}\exposid{token})} and
+initializes \exposid{token} with \tcode{std::move(other.\brk{}\exposid{token})} and
 then calls \tcode{other.\exposid{sndr}.reset()}.
 \end{itemdescr}
 
@@ -4808,7 +4808,7 @@
 Otherwise,
 if \tcode{remove_cvref_t<decltype((token))>} models
 \libconcept{unstoppable_token} then
-\tcode{\exposid{stop-when}(\linebreak{}sndr, token)} is expression-equivalent to
+\tcode{\exposid{stop-when}(\brk{}sndr, token)} is expression-equivalent to
 \tcode{sndr}.
 
 \item
@@ -4831,10 +4831,10 @@
 are equivalent to
 \tcode{connect(write_env(sndr, prop(get_stop_token, stoken)), r)}
 where \tcode{stoken} is an object of
-an exposition-only type \placeholder{stoken-t} such that:
+an exposition-only type \exposid{stoken-t} such that:
   \begin{itemize}
   \item
-  \placeholder{stoken-t} models \libconcept{stoppable_token};
+  \exposid{stoken-t} models \libconcept{stoppable_token};
   \item
   \tcode{stoken.stop_requested()} returns
   \tcode{token.stop_requested() || rtoken.stop_reques-\linebreak{}ted()};
@@ -4846,13 +4846,13 @@
   \tcode{\libconcept{invocable}<Fn>} and
   \tcode{\libconcept{constructible_from}<Fn, Init>}
   are modeled,
-  \tcode{\placeholder{stoken-t}::callback_type<Fn>} models
+  \tcode{\exposid{stoken-t}::callback_type<Fn>} models
   \tcode{\exposconcept{stoppable-callback-for}<Fn, \exposid{sto\-ken-t}, Init>}.
   \begin{tailnote}
   For an object \tcode{fn} of type \tcode{Fn}
   constructed from a value, \tcode{init}, of type \tcode{Init},
   registering \tcode{fn} using
-  \tcode{\placeholder{stoken-t}::callback_type<Fn>(stoken, init)}
+  \tcode{\exposid{stoken-t}::callback_type<Fn>(stoken, init)}
   results in an invocation of \tcode{fn} when
   a callback registered with \tcode{token} or \tcode{rtoken} would be invoked.
   \tcode{fn} is invoked at most once.
@@ -4883,7 +4883,7 @@
 If any of
 \tcode{\libconcept{sender}<Sndr>},
 \tcode{\libconcept{scope_token}<Token>}, or
-\tcode{queryable<Env>}
+\tcode{\exposconcept{queryable}<Env>}
 are not satisfied,
 the expression \tcode{spawn_future(sndr, token, env)} is ill-formed.
 
@@ -4909,7 +4909,7 @@
 Let \tcode{Sigs} be the pack of arguments to
 the \tcode{completion_signatures} specialization provided as
 a parameter to the \exposid{spawn-future-state-base} class template.
-Let \placeholder{as-tuple} be an alias template that
+Let \exposid{as-tuple} be an alias template that
 transforms a completion signature \tcode{Tag(Args...)}
 into the tuple specialization \tcode{\exposid{decayed-tuple}<Tag, Args...>}.
 
@@ -4981,7 +4981,7 @@
 Let \placeholder{ssource-t} be an unspecified type
 that models \exposconcept{stoppable-source} and
 let \tcode{ssource} be an lvalue of type \placeholder{ssource-t}.
-Let \placeholder{stoken-t} be \tcode{decltype(ssource.get_token())}.
+Let \tcode{\placeholder{stoken-t}} be \tcode{decltype(ssource.get_token())}.
 Let \exposid{future-spawned-sender} be the alias template:
 
 \begin{codeblock}
@@ -5199,7 +5199,7 @@
 \begin{itemize}
 \item
 Uses \tcode{alloc} to allocate and construct an object \tcode{s} of
-a type that is a specialization of \exposid{spawn-future-\linebreak{}state}
+a type that is a specialization of \exposid{spawn-future-\brk{}state}
 from \tcode{alloc}, \tcode{token.wrap(sndr)}, \tcode{token}, and \tcode{senv}.
 If an exception is thrown then
 any constructed objects are destroyed and
@@ -5496,7 +5496,7 @@
 \tcode{\libconcept{scope_token}<Token>}, or
 \tcode{\exposconcept{queryable}<Env>}
 are not satisfied,
-the expression \tcode{spawn(\linebreak{}sndr, token, env)} is ill-formed.
+the expression \tcode{spawn(\brk{}sndr, token, env)} is ill-formed.
 
 \pnum
 Let \exposid{spawn-state-base} be the exposition-only class:
@@ -5658,7 +5658,7 @@
 
 \pnum
 The expression \tcode{spawn(sndr, token)} is expression-equivalent to
-\tcode{spawn(sndr, token, execution::env<>(\linebreak{}))}.
+\tcode{spawn(sndr, token, execution::env<>(\brk{}))}.
 
 \rSec1[exec.util]{Sender/receiver utilities}
 
@@ -6616,7 +6616,7 @@
 of objects of type \tcode{Token}; and
 
 \item
-given an lvalue token of type (possibly const) \tcode{Token},
+given an lvalue \tcode{token} of type (possibly const) \tcode{Token},
 for all expressions \tcode{sndr} such that
 \tcode{decltype((\linebreak{}sndr))} models \libconcept{sender}:
   \begin{itemize}
@@ -6842,7 +6842,8 @@
 \pnum
 For purposes of determining the existence of a data race,
 \tcode{get_token},
-\tcode{close}, \tcode{join},
+\tcode{close},
+\tcode{join},
 \exposid{try-associate},
 \exposid{disassociate}, and
 \exposid{start-join-sender}