Changeset 47064914 for doc/proposals/modules-gen-hdr

Timestamp:

Jul 8, 2025, 1:40:36 PM (3 months ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

master

Children:

16a843b

Parents:

b28ce93

Message:

Add missing Makefile, provide gitignore that hit it, minor edit readme

Location:

doc/proposals/modules-gen-hdr

Files:

• .gitignore (added)
• Makefile (added)
• README (modified) (3 diffs)

doc/proposals/modules-gen-hdr/README

@@ -10 +10 @@
 
 Terminology
+- auto: as in C, "exported from here;" different from `extern`, which means "exported by someone else" in C
 - shred: "Shredding foo.src.c" means producing the "foo" Key Intermediates from the "foo" Input.
+- value: the opposite of a type, includes function
 - vicious: cyclic dependency that cannot be bootstrapped with the tools under POC
 
@@ -44 +46 @@
   - (including) expect recourse like multiple manual header fragments to resolve
 - vicious*/recourse-classic
+  - example of a manual header split that resolves the circularity
 - vicious*/recourse-proposed
-
+  - same split, given in a plausible headerless representation that's not demo-implemented
 
 In scope
@@ -74 +77 @@
 
 Language additions modelled
-- (The proposal is to include nicer versions of these placeholders to CFA)
+- (The proposal is to add nicer versions of these placeholders to CFA)
 - module imports (#import), where `foo` corresponds with foo.c; one of:
 - `#import static foo`: this implementation depends on foo's interface