Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Three editorial fixes re "X means that Y" #5936

Open
wants to merge 3 commits into
base: main
Choose a base branch
from

Conversation

Quuxplusone
Copy link
Contributor

[util.smartptr.shared.const] defines the phrase "enables shared_from_this" without a \defnx entry.

[optional.general] used \defnx when defining the phrase "contains a value", but [variant.general] does not \defnx the phrase "holds a value"; let's be consistent, and I think this is the right direction in which to be consistent.

[container.alloc.reqmts] has many instances of "T is foo means that...", which should be either "T is foo if..." or else "[The phrase] T is foo means that...". The proposed resolution of LWG 2158 is related, in that it currently says "Syntactic requirements of T is foo" when what it means is "Syntactic requirements of T is foo" (use-mention distinction).

Happy to split this into separate PRs, but I figure the same grammar-lawyers will be interested in all three.

Makes [optional.general] consistent with [variant.general],
which does not italicize "holds a value of alternative type T".
There are two possible fixes here. Either
> \tcode{T} is \defnx{\oldconcept{DefaultInsertable} into \tcode{X}} if...
or
> \defnx{\tcode{T} is \oldconcept{DefaultInsertable} into \tcode{X}} means that...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant