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.

Sign up for GitHub

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

Jump to bottom

[cpp] "identifier" should be \grammarterm{identifier} in more cases #6524

Open
Eisenwave opened this issue Aug 27, 2023 · 1 comment · May be fixed by #6529
Open

[cpp] "identifier" should be \grammarterm{identifier} in more cases #6524

Eisenwave opened this issue Aug 27, 2023 · 1 comment · May be fixed by #6529

Comments

@Eisenwave
Copy link
Contributor

Eisenwave commented Aug 27, 2023 •
edited

The [cpp] section talks about "identifier"s frequently; often in a context where direct statements about grammar and macro expansion are made.

It would be appropriate to use \grammarterm{identifier} in many more places. For example:

A preprocessing directive of the form

# undef identifier new-line

causes the specified identifier no longer to be defined as a macro name. It is ignored if the specified identifier is not currently defined as a macro name.

- [cpp.scope] p2

This is one of the more extreme cases: statements directly about grammar rules are made, but "identifier" is not formatted as a grammatical term.
@jensmaurer
Copy link
Member

Yes, that's a heritage from C where grammar non-terminals are/were directly used as prose terms. I'm not surprised the preprocessor section is particularly visible offender.

@Eisenwave Eisenwave linked a pull request Aug 28, 2023 that will close this issue
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

[cpp] \grammarterm overhaul Eisenwave/draft
2 participants
@Eisenwave @jensmaurer