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.

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

[lex.separate] Redistribute second comment #7351

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

AlisdairM
Copy link
Contributor

@AlisdairM AlisdairM commented Oct 24, 2024

The second comment in [lex.separate] is both too specific, and not specific enough. Move the last sentence about use of separately translated TUs to the end of the first note, where it seems most appropriate. Move the rest of the note to the end of translation phase 8, where we are in a position to talk about preserving the separately translated TUs and instantiation units for linking in phase 9.

Comment on lines +42 to +43
Translation units can be separately translated and then later linked to
produce an executable program\iref{basic.link}.
Copy link
Contributor

@Eisenwave Eisenwave Oct 26, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
Translation units can be separately translated and then later linked to
produce an executable program\iref{basic.link}.
Translation units can be separately translated and then linked together to
produce a program\iref{basic.link}.

This change would bring the note more in line with the choice of words in https://eel.is/c++draft/basic.link#1

I also find "and then later" to be a bit redundant; just "and then" or "and later" would suffice.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

For now I was deliberately restricting myself to moving approved words around.

I have no objections to further refining the existing text, but would rather do that as a follow-up once the text is in its new place.

Copy link
Contributor Author

@AlisdairM AlisdairM Oct 28, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

For the record, my own rewording would be more like:
"Source files can be separately translated to produce translation units and instantiation units that are later linked to create an executable program."

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

side note: Of course, "instantiation units" no longer exist, really, given that we (must) have interleaved instantiation and constant evaluation.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Are we still OK with this move then?

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Or should we wait for Reflection to land first?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think this would have made a good addition for N5001, so that the reflection folks could have had this slightly cleaner base to work from. As it missed P5001, I suggest we refer the authors of P2996 to look at this and pick up anything they find useful.

@Eisenwave
Copy link
Contributor

"Redistribure" typo in commit message and PR title.

@AlisdairM AlisdairM changed the title [lex.separate] Redistribure second comment [lex.separate] Redistribute second comment Oct 28, 2024
The second comment in [lex.separate] is both too specific, and not specific
enough.  Move the last sentence about use of separately translated TUs to
the end of the first note, where it seems most appropriate.  Move the rest
of the note to the end of translation phase 8, where we are in a position
to talk about preserving the separately translated TUs *and instantiation units*
for linking in phase 9.
@AlisdairM AlisdairM force-pushed the redistribute_lex_comment branch from 60fc14b to 9bffba9 Compare October 28, 2024 16:35
@AlisdairM
Copy link
Contributor Author

Corrected commit message, rebased, and force-pushed.

@tkoeppe
Copy link
Contributor

tkoeppe commented Nov 19, 2024

This text is subject to active work (P2996), please revisit after motions.

@jensmaurer
Copy link
Member

I think I want reflection to land first. It's probably not changing this exact sentence, but words in the vicinity.

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.

4 participants