Function cranelift_isle::trie::build_tries

pub fn build_tries(termenv: &TermEnv) -> BTreeMap<TermId, TrieNode>

Construct the tries for each term.

Examples found in repository

src/compile.rs (line 13)

pub fn compile(defs: &ast::Defs, options: &codegen::CodegenOptions) -> Result<String, Errors> {
    let mut typeenv = sema::TypeEnv::from_ast(defs)?;
    let termenv = sema::TermEnv::from_ast(&mut typeenv, defs)?;
    crate::overlap::check(&mut typeenv, &termenv)?;
    let tries = trie::build_tries(&termenv);
    Ok(codegen::codegen(&typeenv, &termenv, &tries, options))
}