Modules§
Structs§
- Capture
- Compiler
- Compiler
Diagnostic - IoState
- 编译器的 IO 状态。import 路径和源文件列表,与符号/推导逻辑解耦。
- Source
File - Spanned
Compiler Error - SymTab
- 编译器的符号/作用域/类型/常量状态。把“编译期状态“打包成一个子结构, 让 Compiler 顶层字段更扁平、5 个编译期字段不再散落、 单元测试只关心“名字 + 类型 + 常量“时可单独测 SymTab。
- Symbol
Table - TypeCtx
- 编译器的类型推导状态。推导逻辑(类型推导栈、列表元素状态、参数计数等)集中在这里, 改推导算法时只需读这个文件,不会被符号表或 IO 状态干扰。