harn-parser 0.7.27

Parser, AST, and type checker for the Harn programming language
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

//! Implementation of the type-inference walk on the AST.
//!
//! `TypeChecker` itself, its constructors, and the public `check*` entry
//! points live in `super` (`typechecker::mod.rs`). The actual inference
//! work — node-kind dispatch, refinement extraction, generic call binding,
//! variance enforcement — is split across this submodule by node-kind
//! family for readability.
//!
//! Each file declares `impl TypeChecker { … }` blocks that hang additional
//! methods off the same struct. Re-exports are unnecessary because the
//! impl blocks are picked up by Rust's `impl` resolution as long as they
//! are in scope (i.e. a file that names `mod statements` somewhere).

mod binary_ops;
mod calls;
mod decls;
mod entry;
mod expressions;
mod flow;
mod statements;
mod subtyping;
mod variance;