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

Rename [cmp.syn] to [compare.syn] #1991

Closed
jensmaurer opened this issue Mar 27, 2018 · 6 comments
Closed

Rename [cmp.syn] to [compare.syn] #1991

jensmaurer opened this issue Mar 27, 2018 · 6 comments
Assignees

Comments

@jensmaurer
Copy link
Member

along the reasoning in #1958.

@W-E-Brown
Copy link
Contributor

W-E-Brown commented Mar 27, 2018 via email

@jensmaurer
Copy link
Member Author

@W-E-Brown, thanks for your comment. I have added references to the respective pull requests #1960 and #1993.

@jensmaurer
Copy link
Member Author

I'd like to point out that [cmp.syn] in particular was added as late as November 2017, so I view the "stable" argument carrying less weight.

@jensmaurer jensmaurer added the decision-required A decision of the editorial group (or the Project Editor) is required. label Apr 3, 2018
@tkoeppe
Copy link
Contributor

tkoeppe commented Apr 3, 2018

@W-E-Brown: The problem with this "nesting" approach is that it's brittle and unmaintainable. We have moved sections and synopses around in the past, or introduced "ill-fitting" headers like <cstddef>, and nesting can sometimes not be achieved or maintained. So I'd hesitate to demand that.

By contrast, header-name.syn seems to be reasonably easy to understand and maintain, and it's trivially as stable as the header name itself.

@zygoloid
Copy link
Member

zygoloid commented Jun 7, 2018

We are not going to rename all existing stable labels to conform to the [header-name.syn] pattern, but [cmp.syn] is brand-new, so renaming that one is much lower-cost, and we're going to do that.

@jensmaurer
Copy link
Member Author

See #1958 for more explanation.

@jensmaurer jensmaurer removed the decision-required A decision of the editorial group (or the Project Editor) is required. label Sep 10, 2019
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

No branches or pull requests

4 participants