Expand description
M3: type system, effect system. See spec §6, §7.
Re-exports§
pub use checker::check_and_rewrite_program;pub use checker::check_program;pub use checker::ProgramTypes;pub use error::TypeError;pub use types::EffectSet;pub use types::Prim;pub use types::Scheme;pub use types::Ty;pub use types::TyVarId;
Modules§
- builtins
- Built-in module signatures used by §3.13 examples and beyond.
- checker
- M3: type checker. Walks the canonical AST, infers types via unification, and checks declared signatures and effects.
- env
- Type environment: type-decl info and value-binding scopes.
- error
- Structured type errors per spec §6.7.
- types
- Internal type representation used by the inferencer/checker.
- unifier
- Union-find based unification for type variables.