Open
Description
Lines 7 to 9 in ceff4ea
Is this indexed as intended? I find it strange that all these entries would redirect to compilation, separate.
Shouldn't it be the other way around? Do we even want to mention compilation here? After all, compilation isn't really the conventional wording we use here.
Metadata
Metadata
Assignees
Labels
No labels
Type
Projects
Milestone
Relationships
Development
No branches or pull requests
Participants
Activity
jensmaurer commentedon Mar 4, 2024
I'd be ok with having all of these refer to "translation, phases"
Having commonly used terms (such as "separate compilation") in the index seems worthwhile even if it's not a normative term.
frederick-vs-ja commentedon Mar 12, 2024
Also related to #5641. The index seemingly implies that the standard treats compilation same as translation, but it's unclear to me whether this is intended.
jensmaurer commentedon Mar 12, 2024
Yes, the standard calls "translation" what the rest of the world might call "compilation", so we should mention "compilation" in the index.