The schizophrenic view on "translation units" and "program" feels like a bug;
I've created a core issue:

https://cplusplus.github.io/CWG/issues/2670.html

Jens


On 21/12/2022 20.38, Gabriel Dos Reis wrote:
> [GDR]
>
>> The terms "translation unit" and "translated translation unit" are not defined anywhere - as in "italicized terms".
>
>
>
> Sorry, "translation unit" is defined, but not "translated translation unit".
>
>
>
> "translation unit" is NOT defined as "a sequence of tokens" that are (only) lexically valid. Rather, the definition is in terms of source files, and headers, 5.1/1 <https://eel.is/c++draft/lex.separate#1>:
>
>
>
> A source file together with all the headers and source files included via the preprocessing directive #include, less any source lines skipped by any of the conditional inclusion preprocessing directives, is called a /translation unit/.
>
>
>
> And that, to some degree, conflicts with the description in 6.6/1 <https://eel.is/c++draft/basic.link#nt:translation-unit>
>
>
>
> A /program/ <https://eel.is/c++draft/basic.link#def:program> consists of one or more translation units <https://eel.is/c++draft/lex.separate#def:translation_unit> linked together. <https://eel.is/c++draft/basic.link#1.sentence-1> A translation unit consists of a sequence of declarations. <https://eel.is/c++draft/basic.link#1.sentence-2>
>
>
>
> And given that headers are not assumed to be source files or even contain C++ program fragments, it is an interesting circle to square. Also, a program does not seem to include instantiation units?
>
>
>
> -- Gaby
>
>
>
>
>
> -----Original Message-----
> From: Core <core-bounces_at_[hidden]> On Behalf Of Gabriel Dos Reis via Core
> Sent: Wednesday, December 21, 2022 11:03 AM
> To: Jens Maurer <jens.maurer_at_[hidden]>; core_at_[hidden]
> Cc: Gabriel Dos Reis <gdr_at_[hidden]>; sg15_at_[hidden]
> Subject: Re: [isocpp-core] Named modules, macros, and re-exporting header units
>
>
>
> [Jens]
>
>> A "translation unit" is a sequence of tokens that are (only) lexically valid.
>
>
>
> Interesting.
>
> In that case, the sentence "The resulting tokens are syntactically and semantically analyzed and translated as a translation unit." could use a clarification.
>
> The terms "translation unit" and "translated translation unit" are not defined anywhere - as in "italicized terms".
>
>
>
>> Maybe such a thing doesn't exist in your implementation.
>
>
>
> Yes, but that should be irrelevant :-)
>
>
>
> -- Gaby
>
>
>
> -----Original Message-----
>
> From: Jens Maurer <jens.maurer_at_[hidden] <mailto:jens.maurer_at_[hidden]>>
>
> Sent: Sunday, December 18, 2022 2:02 AM
>
> To: Gabriel Dos Reis <gdr_at_[hidden] <mailto:gdr_at_[hidden]>>; core_at_[hidden] <mailto:core_at_[hidden]>
>
> Cc: sg15_at_[hidden] <mailto:sg15_at_[hidden]>
>
> Subject: Re: [isocpp-core] Named modules, macros, and re-exporting header units
>
>
>
> On 18/12/2022 04.19, Gabriel Dos Reis wrote:
>
>> [Jens]
>
>>> This clearly refers to "translation units", and translation units are a phase 7 concept per [lex.phases] p7:
>
>>> "Whitespace characters separating tokens are no longer significant. Each preprocessing token is converted
>
>>> into a token (5.6). The resulting tokens are syntactically and semantically analyzed and translated as a
>
>>> translation unit."
>
>>
>
>> In that case, what is the difference between "translation units" and "translated translation units"?
>
>
>
> A "translation unit" is a sequence of tokens that are (only) lexically valid.
>
>
>
> Looking at phase 8 (template instantiation), a "translated translation unit" is some
>
> unspecified intermediate thing where all non-dependent constructs have been semantically
>
> analyzed, but no templates have been instantiated yet. Maybe such a thing doesn't exist
>
> in your implementation.
>
>
>
> Jens
>
> _______________________________________________
>
> Core mailing list
>
> Core_at_[hidden] <mailto:Core_at_[hidden]>
>
> Subscription: https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.isocpp.org%2Fmailman%2Flistinfo.cgi%2Fcore&data=05%7C01%7Cgdr%40microsoft.com%7C7d27b07b5a9b49fcf12808dae3861224%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C638072462229258872%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=s7C4aJfJBak5%2BVitacYmXFxLIu2%2Bir2byhxaJ%2Fz%2FQBc%3D&reserved=0 <https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Flists.isocpp.org%2Fmailman%2Flistinfo.cgi%2Fcore&data=05%7C01%7Cgdr%40microsoft.com%7C7d27b07b5a9b49fcf12808dae3861224%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C638072462229258872%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=s7C4aJfJBak5%2BVitacYmXFxLIu2%2Bir2byhxaJ%2Fz%2FQBc%3D&reserved=0>
>
> Link to this post: https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Flists.isocpp.org%2Fcore%2F2022%2F12%2F13678.php&data=05%7C01%7Cgdr%40microsoft.com%7C7d27b07b5a9b49fcf12808dae3861224%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C638072462229258872%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=ptC%2FbZ6BcTDMoytfbGZGpK9pZgzibNYMSYaYYaKAZCk%3D&reserved=0 <https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Flists.isocpp.org%2Fcore%2F2022%2F12%2F13678.php&data=05%7C01%7Cgdr%40microsoft.com%7C7d27b07b5a9b49fcf12808dae3861224%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C638072462229258872%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=ptC%2FbZ6BcTDMoytfbGZGpK9pZgzibNYMSYaYYaKAZCk%3D&reserved=0>
>