yulang_runtime_refine/lib.rs
1//! Runtime type refinement, validation, invariant checks, and hygiene printing.
2//!
3//! All four passes operate on the runtime IR produced by `yulang-runtime` and
4//! share the same type-system helpers from `yulang-runtime-types`. They sit
5//! between lower and monomorphize (or after either) depending on the caller.
6
7pub mod hygiene;
8pub mod invariant;
9pub mod refine;
10pub mod validate;
11
12pub use hygiene::{format_hygiene_expr, format_hygiene_module};
13pub use invariant::{
14 RuntimeStage, check_runtime_invariants, check_strict_runtime_type_surfaces,
15 check_strict_runtime_value_types,
16};
17pub use refine::refine_module_types;
18pub use validate::validate_module;