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
[cmp.categories.pre] Remove unused enumerators #3542
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good to me. @tkoeppe?
Do we still need the |
Yes, this is feasible: |
@jensmaurer: sorry, I missed that ping; I agree that a more aggressive cleanup is a nice idea. |
I've made the requested changes. |
We don't really need the |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM, though as I said in a comment, I don't see any reason to keep equal
.
I'd vaguely prefer to keep the |
OK, I don't feel strongly about it either. |
Ping. Could someone please remove the changes-requested label so this is visible again? |
Done. |
Drive-by: Merge enumeration `_Compare_eq` into `_Compare_ord` consistent with cplusplus/draft#3542.
Fixes #3541.