Parse bare export and unexport directives without aborting - #20

Merged

leynos merged 9 commits into

mainfrom

bare-export-directives

Aug 23, 2026

Commits on Aug 13, 2026

Draft an ExecPlan for bare export directive parsing
leynos
committed
f33ddac
Parse bare export directives without aborting
leynos
committed
a66cbf5
Stop discarding export names that look like keywords
leynos
committed
f6feae1
Pin the unexport limitation and note the consumer impact
leynos
committed
e07a4dd
Diagnose export lines the parser cannot name
leynos
committed
05fc9cf
Report every name of a multi-name export directive
leynos
committed
a31fc3b
Describe the keyword-named export gap accurately
leynos
committed
6e068bf

Commits on Aug 15, 2026

Recover repeated bare export directives
leynos
committed
dddcc6b

Commits on Aug 22, 2026

Clarify bare export recovery contract
leynos
committed
b708420