Skip to content

[basic.lookup.general] Italicise "follow" in [basic.lookup.general]/2#8400

Merged
jensmaurer merged 3 commits into
cplusplus:mainfrom
TymianekPL:main
Apr 21, 2026
Merged

[basic.lookup.general] Italicise "follow" in [basic.lookup.general]/2#8400
jensmaurer merged 3 commits into
cplusplus:mainfrom
TymianekPL:main

Conversation

@TymianekPL

@TymianekPL TymianekPL commented Nov 4, 2025

Copy link
Copy Markdown
Contributor

Fixes #8142

@TymianekPL

Copy link
Copy Markdown
Contributor Author

As Brian suggested, I think adding a note that states it clearly would be nice as well. Not sure if that's the right call so I'll hold on with this one for now.

@TymianekPL TymianekPL changed the title Italicise "follow" in [basic.lookup.general]/2 [basic.lookup.general] Italicise "follow" in [basic.lookup.general]/2 Nov 4, 2025
Comment thread source/basic.tex Outdated
@jensmaurer

Copy link
Copy Markdown
Member

@TymianekPL , if you want the git change history to show your full name, please configure it in github.

@TymianekPL

Copy link
Copy Markdown
Contributor Author

@TymianekPL , if you want the git change history to show your full name, please configure it in github.

Make profile private and hide activity
Enabling this will hide your contributions and activity from your GitHub profile and from social features like followers, stars, feeds, leaderboards and releases.

This one?

@jensmaurer

Copy link
Copy Markdown
Member

No, this one:

image

(menu in top right corner)

@TymianekPL

Copy link
Copy Markdown
Contributor Author

Ah okay, you mean the name thing

@tkoeppe

tkoeppe commented Nov 4, 2025

Copy link
Copy Markdown
Contributor

OK. There's a wider issue that ISO doesn't really want things italicised, and that all definitions must come from Clause 3, but that's not really practical for us. But this does mean that we have routinely created "local definitions" that are not marked up typographically and are not indexed. (I think "empty" as the shared pointer state comes to mind: https://eel.is/c++draft/util.smartptr.shared.general#1.sentence-3)

@TymianekPL

Copy link
Copy Markdown
Contributor Author

Now we just have to decide whether follow should be local or not... I myself am unsure about that. I would say yes, as it affects the core language and a very important part of name lookup. Furthermore, it's also in [basic], which to me is kind of the clause 3 of ISO guidelines...

@eisenwave

eisenwave commented Dec 16, 2025

Copy link
Copy Markdown
Member

Should this PR be closed then, or do we want the italics?

We have like ten billion definitions that don't comply with the "don't make definitions italic" ISO rule, so is that ISO rule going to stop us from adding italics here?

@TymianekPL

Copy link
Copy Markdown
Contributor Author

I think adding italics is the right move.

@TymianekPL

Copy link
Copy Markdown
Contributor Author

Unlike shared pointers' empty, this is not a local definition to... to a paragraph? It applies to the program and translation unit. Paragraph in question:

A program point P is said to follow any declaration in the same translation unit whose locus ([basic.scope.pdecl]) is before P.

[basic.lookup.general]/2

@TymianekPL

Copy link
Copy Markdown
Contributor Author

I think this additional indexed definition will contribute to making C++ less ambiguous and easier to work with in future standardisation

@wg21bot wg21bot added the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Apr 20, 2026
@tkoeppe

tkoeppe commented Apr 21, 2026

Copy link
Copy Markdown
Contributor

Can you please rebase?

@jensmaurer jensmaurer removed the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Apr 21, 2026
@jensmaurer

Copy link
Copy Markdown
Member

Yes, "follow" is a defined term here, and should be italics + indexed.

@jensmaurer jensmaurer merged commit 4936699 into cplusplus:main Apr 21, 2026
2 checks passed
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

Successfully merging this pull request may close these issues.

Italicize "follow" in [basic.lookup.general]/2

6 participants