types: a module's interface carries the records and opaque types it references - #78

Merged

simontreanor merged 3 commits into

mainfrom

transitive-exports

Aug 29, 2026

Commits on Aug 29, 2026

types: a module's interface carries the records and opaque types it references
simontreanor
committed
b714cdd
types: refusing a carried record names the module to import
simontreanor
committed
a1f503d
types: carried records are a fallback tier for by-name field lookup
simontreanor
committed
1c7f7de