Skip to content

Spec Chapter 8: Modules (C7f)#114

Merged
aallan merged 1 commit into
mainfrom
fix/c7f-module-spec
Feb 27, 2026
Merged

Spec Chapter 8: Modules (C7f)#114
aallan merged 1 commit into
mainfrom
fix/c7f-module-spec

Conversation

@aallan

@aallan aallan commented Feb 27, 2026

Copy link
Copy Markdown
Owner

Summary

  • Write spec/08-modules.md (Chapter 8: Modules) covering module declarations, imports, visibility, name resolution algorithm, cross-module type checking, verification, and compilation
  • Cross-reference Chapter 8 from spec Chapters 5, 10, 11, and 12
  • Clarify that type aliases and effect declarations are module-local (not importable)
  • Collapse C7 roadmap section as complete (v0.0.31-v0.0.39), define C8 sub-phases (C8a-C8e) grouping all open issues by area
  • Update SKILLS.md, vera/README.md, docs/index.html with module system documentation
  • Version bump to v0.0.39

Test plan

  • All 951 tests pass
  • mypy clean (15 source files)
  • All 14 examples pass check + verify
  • Spec code blocks parse (217 total, 0 failures)
  • README code blocks parse
  • Version sync check passes

Closes #14

Generated with Claude Code

Write the formal module system specification covering declarations,
imports, visibility, name resolution, cross-module type checking,
verification, and compilation. Cross-reference from Chapters 5, 10,
11, and 12. Collapse C7 as complete in the roadmap, define C8 sub-
phases grouping all open issues. Bump to v0.0.39.

Co-Authored-By: Claude <noreply@anthropic.invalid>
@aallan aallan merged commit 8eecbf0 into main Feb 27, 2026
10 checks passed
@aallan aallan deleted the fix/c7f-module-spec branch February 27, 2026 17:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Module system — cross-file type checking and verification

1 participant