[library] Use \effects etc. when referring to them in text #1093
Conversation
| @@ -1592,15 +1592,15 @@ | |||
| \begin{codeblock} | |||
| #include <utility> | |||
|
|
|||
| // Requires: \tcode{std::forward<T>(t)} shall be swappable with \tcode{std::forward<U>(u)}. | |||
| // \requires \tcode{std::forward<T>(t)} shall be swappable with \tcode{std::forward<U>(u)}. | |||
There was a problem hiding this comment.
I wouldn't change these two comments. They're in an example, not in normative wording, and the status quo seems just fine.
| @@ -476,7 +476,7 @@ | |||
| appropriate):\footnote{To save space, items that do not apply to a function are omitted. | |||
| For example, if a function does not specify any | |||
| further | |||
| preconditions, there will be no ``Requires'' paragraph.} | |||
| preconditions, there will be no \requires paragraph.} | |||
There was a problem hiding this comment.
Hm, we should probably also (but separately) decide one only one of paragraph, section or clause.
There was a problem hiding this comment.
I think section is best, because these can contain more than one paragraph, and my understanding is that clause and subclause have specific ISO meanings.
"element" is also used currently, but I think it sounds more vague than section.
But I agree that this can be done separately.
There was a problem hiding this comment.
"Element" is the term used when they are defined, and the term LWG has been using for them recently.
jlaire
force-pushed
the
consistent-effects-mention
branch
from
bf6b622
to
e4167fe
Compare
Fixes #1091.