Connected features
Papers
5 · Kona 2022 → Kona 2025Restricts export to declarations that are meaningful to importers, forbidding e.g. exported internal-linkage entities (DR).
Fixes the linkage of constants in module interfaces so their values and addresses are consistent across importers (DR).
Forbids module names in module and import declarations from being produced by macro expansion (DR).
Allows main to be attached to the global module even when declared inside a module unit (DR).
Allows a #line directive to precede a module declaration (DR).