-
Notifications
You must be signed in to change notification settings - Fork 771
"possibly const" vs "possibly \tcode{const}" vs "possibly \keyword{const}" #117
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
Comments
Editorial meeting consensus: Similar to inline / public. Thus, we should generally not use "possibly \tcode{const}". |
See also issue #106. |
Postponing until #1497 is applied to avoid editing conflicts. |
To clarify, all occurrences should become |
See #4405 (comment) with regards to |
I don't think we should use Adding the "decision required" label back - I'm happy to take this one on if I know what we want to do here. |
I think the original decision to say "possibly const" (without markup) is uncontested; shall we just execute that? |
Yes please, after these 9+ years! :) |
@sdutoit Why did you leave? :-) |
@burblebee What do you think needs a decision here? Don't we already have several decisions above? |
Sure! Sorry this resolution wasn't clear to me, but |
Arguably we should just say "type Not using keyword markup for "possibly const" does look a bit odd when we have:
Based on the decision above, one "const" is is code font and one isn't. |
I also favor this direction. Hm, I wonder if we can get Pete Becker's signoff too? :) |
@jwakely That one case you pointed out could indeed be rewritten a little to avoid this awkwardness. |
"possibly const" appears five times in the current draft. "possibly \tcode{const}" appears ten times. Clean this up, make a rule for it.
Update added by @burblebee on 11/15/22:
We've since added several more of the above variations as well as the addition of "possibly \keyword{const}".
The text was updated successfully, but these errors were encountered: