Expand description
Runtime type refinement, validation, invariant checks, and hygiene printing.
All four passes operate on the runtime IR produced by yulang-runtime and
share the same type-system helpers from yulang-runtime-types. They sit
between lower and monomorphize (or after either) depending on the caller.
Re-exports§
pub use hygiene::format_hygiene_expr;pub use hygiene::format_hygiene_module;pub use invariant::RuntimeStage;pub use invariant::check_runtime_invariants;pub use invariant::check_strict_runtime_type_surfaces;pub use invariant::check_strict_runtime_value_types;pub use refine::refine_module_types;pub use validate::validate_module;