Skip to content

Reference ​

Public API ​

itemwhat it is
RewriteEngine::run_passrun one named pass over the arena
TransformRule::Native(name)dispatch a rule to a wired NativeRewrite
with_desugar_nativesinstall the built-in desugar native rules
RuleSourcewhere a pass's TransformDefs come from

Crate ​

craterole
hnl-engine-transform-rewriteengine implementation

Build and test ​

bash
cargo build     # sibling [patch] tables resolve deps from ../<repo>
cargo test      # cargo test

Dependencies are git deps on branch = "main"; locally the [patch] tables point at sibling checkouts (regenerated by host/scripts/dev-link.sh).