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

[basic.life] Move definition of "before" and "after" from last paragraph #6061

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

AlisdairM
Copy link
Contributor

The last paragraph of this subclause changes the definition of English words used throughout the preceding paragraphs. While it might be preferable to replace all such usage with the new definitions, that would be a Core issue, see paragraph 6 for an example of awkward usage. Hence, we move the redefinition to the start of the subclause so we know how to read this text from the start.

…op of subclause

The last paragraph of this subclause changes the definition of English words
used throughout the preceding paragraphs.  While it might be preferable
to replace all such usage with the new definitions, that would be a Core issue,
see paragraph 6 for an example of awkward usage.  Hence, we move the
redefinition to the start of the subclause so we know how to read this text
from the start.
@tkoeppe
Copy link
Contributor

tkoeppe commented Nov 9, 2023

But if we move ths wording up, the note is a bit premature.

@jensmaurer, thoughts? It is ineed weird to only define the terms "before" and "after" at the very end.

@wg21bot wg21bot added the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Apr 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
needs rebase The pull request needs a git rebase to resolve merge conflicts.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants