P1838 Modules User-Facing Lexicon and File Extensions

[wg21bot]

P1838R0 Modules User-Facing Lexicon and File Extensions (Bryce Adelstein Lelbach, Boris Kolpackov)

[brycelelbach]

Prague 2020-02 Tooling Minutes

P1838R0 Modules User-Facing Lexicon and File Extensions

Chair: Michael Spencer

Champion: Bryce Adelstein Lelbach

Minute Taker: Peter Bindels

Start Review: 2020-02-14 11:07

Remove ", machine code (object files)" from the definition of BMI. DONE.

Remove "Prior Art" sections. DONE.

Have both a table with short definitions and more explaination later.

POLL: Call the act of creating a BMI... (vote for all the options you can live with, vote as many times as you wish)

Options	Votes
0 [BMI] Precompilation	9
1 [BMI] Compilation	4
2 [BMI] Creation	10
3 [BMI] Generation	16
4 [BMI] Extraction	11
5 [BMI] Intercompilation	4

Attendance: 20

# of Authors: 1

Author Position: 0, 2, 3, 4

CONSENSUS: Call the act of creating a BMI "BMI Generation".

POLL: Call information about the translation units and textual includes of a C++ source file... (vote for your preferred option)

Options	Votes
0 Dependency Metadata	0
1 Dependency Information	8
2 Dependency Data	7

Attendance: 20

# of Authors: 1

Author Position: 1

POLL: Call information about the translation units and textual includes of a C++ source file... (vote for all the options you can live with, vote as many times as you wish)

Options	Votes
1 Dependency Information	13
2 Dependency Data	11

Attendance: 19

# of Authors: 1

Author Position: 1

CONSENSUS: Author should select between 1 and 2.

End: 12:05

Resume: 2020-02-14 14:29

Chair: Ben Boeckel

Minute Taker: Dmitry Duka

"Implicit/Explicit Module Builds" -> "Implicit/Explicit Build Strategy".

Add terms for "module" and "module interface".

TU chart:

• Add "unit" to all terms in the TU chart.
• Remove "translation".
• Explore adding a term for another type of TU: non-partition module implementation unit.
  • Mathias Stearn will write a paper proposing the addition of the term in the International Standard.

Using the term "module partition" seems like a bad idea.

• "module partition" == "module partition unit".
  • Mathias will write a paper to get core to change the term.
• "module" != "module unit".

"Module Partition Interface|Implementation" -> "Module Interface|Implementation Partition"

Regarding extensions: Do we want to document the world as it is, or describe the world we want to see.

POLL: We want to recommend a single file extension for importable module units.

Strongly For	Weakly For	Neutral	Weakly Against	Strongly Against
4	6	0	3	0

Attendance: 14

# of Authors: 1

Author Position: WF

CONSENSUS: That has consensus.

POLL: Direct the authors of P1788, P1689, & P1838 to combine said papers and produce a P numbered first draft of the Modules Ecosystem Technical Report.

NO OBJECTION TO UNANIMOUS CONSENT.

Terms to possibly add in the future:

• Fused BMI Generation: BMI generation that happens implicitly as part of translation of said unit.
• Unfused BMI Generation: BMI generation that happens as a distinct step from translation of said unit.
• Module Recipe.
• Module Recipe Format.
• BMI Reuse.

End: 15:34

CONSENSUS: Direct the authors of P1689 (Format for Describing Dependencies of Source Files), P1788 (Reuse of the Built Modules (BMI)), and P1838 (Modules User-Facing Lexicon and File Extensions) to combine said papers, with the guidance below, and produce a P numbered first draft of the Modules Ecosystem Technical Report for review by the Tooling Study Group.

• P1788: Follow the guidance from Belfast 2019-11
  • Recommend that tools should be able to rely on accessing module recipes through satellite files.
  • Explore combined satellite files/one satellite file per package.
  • If the format isn't JSON, please have a strong rationale.
  • Recommend that implementation can support embedding module recipes in BMIs as an optimization if they wish.
• P1838: Follow the guidance from Prague 2020-02
  • Remove "Prior Art" sections from the definitions wording.
  • Remove ", machine code (object files)" from the definition of BMI.
  • Call the act of creating a BMI "BMI Generation".
  • Rename "Dependency Metadata" to either "Dependency Information" or "Dependency Data".
  • Rename "Implicit/Explicit Module Builds" to "Implicit/Explicit Build Strategy".
  • Add terms for "module" and "module interface".
  • Remove "translation" from all the TU terms.
  • Add "unit" to all terms in the TU chart.
  • Explore adding a term for another type of TU: non-partition module implementation units.
    • Mathias Stearn will write a paper proposing the addition of the term in the International Standard.
  • Rename "Module Partition Interface|Implementation" to "Module Interface|Implementation Partition".
  • Separate file extensions into a separate paper that explores recommending a single file extension for importable module units.