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.scope.scope] Rename to [basic.scope.general]. #7496

Closed
wants to merge 1 commit into from

Conversation

Benio101
Copy link

Reason: Consistency with other "General" labels, like [any.general].

@tkoeppe
Copy link
Contributor

tkoeppe commented Dec 17, 2024

I don't think we want to do that. Who suggested we should change anything?

@Benio101 Benio101 force-pushed the rename-basic.scope.scope branch from 85a4860 to 6f8dbb5 Compare December 17, 2024 15:48
@Benio101
Copy link
Author

I don't think we want to do that. Who suggested we should change anything?

This is a followup of CWG relabeling suggestions.
See: https://lists.isocpp.org/edit/2024/12/1040.php

@tkoeppe
Copy link
Contributor

tkoeppe commented Dec 17, 2024

I don't think we want to do that. Who suggested we should change anything?

This is a followup of CWG relabeling suggestions. See: https://lists.isocpp.org/edit/2024/12/1040.php

Sorry, could you elaborate a bit -- that just looks like an email where you suggest to do more relabelling. Is there any request from CWG or the committee to change anything?

Copy link
Member

@jwakely jwakely left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This seems to be unnecessary churn, destabilising stable names for questionable benefit.

@Benio101
Copy link
Author

Sorry, could you elaborate a bit -- that just looks like an email where you suggest to do more relabelling. Is there any request from CWG or the committee to change anything?

Sorry, I'm a bit confused. It's just a PR from my reflected suggestion. I did not made a paper proposal for this as per recent request: #7483 (comment). Should I make one anyway?

@tkoeppe
Copy link
Contributor

tkoeppe commented Dec 17, 2024

No. I think we should just close this. I don't think we want to make this change. Is that OK?

@jensmaurer
Copy link
Member

We agree not all stable labels are great phrasing-wise. However, changing any of them (because of the fall-out) requires more than a broad editorial consistency argument.

And no, I don't want to see papers suggesting CWG label renames; that's a total waste of time for CWG. I do entertain suggestions to change stable labels from long-term committee members and then informally seek agreement from CWG (as has happened for [stmt.stmt] and [dcl.dcl]), but this should stay a rare exception.

@jensmaurer jensmaurer closed this Dec 17, 2024
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.

4 participants