mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-09-24 13:50:10 +01:00

Files

T

Chandler CarruthandRichard Smith 94d2c1c6d4 Make proposal filenames use 6 digits and include the title (#7245 )

We've talked about adding the title to the filename several times over
the years and it seems really valuable. This requires us to compute a
"slug" for the title spelling that can be part of the filename.

Beyond that, we crossed 7000 recently, and so it seems likely that we
will need to add digits sooner rather than later here, so this goes
ahead and moves us to 6 digits so we don't have to adjust again for a
reasonable length of time.

To implement this and ensure we can sustain it going forward this adds a
tool to our pre-commit that validates (and corrects if needed) the
filename.

In order to update everything and keep links working, there are a _lot_
of changes, but the most interesting for direct review are in
`proposals/scripts`.

Assisted-by: Antigravity with Gemini

---------

Co-authored-by: Richard Smith <richard@metafoo.co.uk>

2026-05-29 00:55:04 +00:00

3.6 KiB

Raw Permalink Blame History

Change Main//default to an api file

Pull request

Abstract
Problem
Background
Proposal
Rationale
Alternatives considered
- Default to Main//default impl instead of Main//default api

Abstract

When there is no package directive, default to Main//default api instead of Main//default impl. This has two user-visible consequences:

The extension will be .carbon, not .impl.carbon.
Only one Main//default api is allowed.

Problem

Code and name organization says:

API filenames must have the .carbon extension. They must not have a .impl.carbon extension.
Implementation filenames must have the .impl.carbon extension.

The Main//default library is currently specified as an impl file. This means that it should be something like main.impl.carbon.

Background

More generally in Carbon, a single-file library can be an api file, not an impl file. This comes as a side-effect from impl files implicitly importing the api, which would fail if there were an impl file without an api. On the other hand, there is no requirement that an api file have an impl.

Proposal #2550: Simplified package declaration for the Main package chose impl as the default, providing an empty api file that cannot otherwise be imported. The proposal doesn't provide rationale for this choice; it likely wasn't considered key to the proposal.

In C++, we often see main.cpp. This might be where the impl choice for Main//default comes from, as it has a more equivalent feel.

Proposal

Omitting the package directive means Main//default api, rather than impl. As a consequence:

The .carbon extension applies instead of the .impl.carbon extension.
An api can only be defined once, so there is a limit of one such file per executable.

Mentions of Main//default api as being an empty file are removed.

The rules preventing use of Main//default in package, library, or import remain. The library can only be defined by omission of package and library, and cannot be imported.

Rationale

Code that is easy to read, understand, and write
- Writing Run logic in a main.carbon file is expected to be more intuitive than main.impl.carbon.

Alternatives considered

Default to `Main//default impl` instead of `Main//default api`

Main//default impl, the status quo, is now a declined alternative. Key considerations are:

Using Main//default api is consistent with single-file libraries in other contexts.
main.carbon is preferred over main.impl.carbon, and using Main//default api allows the main.carbon extension without special-casing the file extension choices.
The special-case definition of Main//default api as an empty file is no longer needed.
Being able to have multiple Main//default impl files is of limited utility. Run could only be defined in one such file, and the Main//default api was defined as empty so no sharing was allowed.

3.6 KiB Raw Permalink Blame History