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
[concept.common] LWG 3154: Confusing wording #2247
Comments
This phrasing has another issue, too: It says "if and only if", so if t() is not an equality-preserving expression, C(t()) must be different from C(t()). That seems impossibly to guarantee. |
This wording specifically (and the similar wording in [concept.commonreference]) came up during the final editorial review, and I'll be filing an LWG issue for it. I've been waiting for the updated WD to file my list of issues, since I suspect the LWG issue management utilities will fail horribly with issues that refer to stable names that don't exist in the working draft. EDIT: I suppose we should leave this issue open for now - to be sure it isn't dropped on the floor - and I'll come back after the corresponding LWG issue has been filed and post a reference thereto? |
They'll be fine (it will just be "Section 99"). We have plenty of issues targeting stable names that no longer exist. |
This is now LWG3154 " |
LWG 3154 was adopted in San Diego. |
[concept.common]/(2.1):
What does "
C(t())
equalsC(t())
" mean? In particular, does it mean “the first two evaluations ofC(t())
yield equal result" or "all evaluations ofC(t())
always yield equal result"? If the latter, why doesn't the sentence read "C(t())
is an equality-preserving expression if and only ift()
is an equality-preserving expression"?cc @CaseyCarter
The text was updated successfully, but these errors were encountered: