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

[lex.pptoken] import-keyword, module-keyword, export-keyword are not indexed #6844

Open
Eisenwave opened this issue Mar 1, 2024 · 2 comments
Open

[lex.pptoken] import-keyword, module-keyword, export-keyword are not indexed #6844

Eisenwave opened this issue Mar 1, 2024 · 2 comments

Comments

@Eisenwave
Copy link
Contributor

Eisenwave commented Mar 1, 2024 •
edited

I believe the problem is that they don't have a \nontermdef section and aren't otherwise indexed.

They're defined in [lex.pptoken] p4 but not in the usual way:

draft/source/lex.tex

Lines 563 to 569 in ceff4ea

\pnum
The \grammarterm{import-keyword} is produced
by processing an \keyword{import} directive\iref{cpp.import},
the \grammarterm{module-keyword} is produced
by preprocessing a \keyword{module} directive\iref{cpp.module}, and
the \grammarterm{export-keyword} is produced
by preprocessing either of the previous two directives.

I guess this also means that [gram] is incomplete because it doesn't explain how an import-keyword is produced, and doesn't link to it.
@Eisenwave Eisenwave changed the title [lex.pptoken] *import-keyword*, *module-keyword*, *export-keyword* are not indexed [lex.pptoken] import-keyword, module-keyword, export-keyword are not indexed Mar 1, 2024
@jensmaurer
Copy link
Member

The "index of grammar productions" contains these, although does not refer to a definition.

Those things are not grammar non-terminals in the traditional sense, but are special tokens produced during preprocessing.

@Eisenwave
Copy link
Contributor Author

Eisenwave commented Mar 5, 2024 •
edited

It's good to know that they're indexed somewhere.

I was looking for it in the general Index, where other grammar terms are indexed, just not these three. I still think these three should be indexed there because we've built the expectation from other terms.

Not sure how to get them there though.

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

No branches or pull requests
2 participants
@Eisenwave @jensmaurer