aver-lang 0.18.0

VM and transpiler for Aver, a statically-typed language designed for AI-assisted development
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55

#[allow(unused_imports)]
use crate::aver_generated::domain::ast::*;
#[allow(unused_imports)]
use crate::aver_generated::domain::resolver::calls::*;
#[allow(unused_imports)]
use crate::aver_generated::domain::resolver::core::*;
#[allow(unused_imports)]
use crate::aver_generated::domain::resolver::fast::*;
#[allow(unused_imports)]
use crate::aver_generated::domain::resolver::rewrite::*;
#[allow(unused_imports)]
use crate::*;

/// Resolve all functions: slots, direct calls, then attach narrow fast-path tags.
pub fn resolveProgram(prog: &Program) -> Program {
    crate::cancel_checkpoint();
    let resolvedFns = crate::aver_generated::domain::resolver::core::resolveFns(
        prog.fns.clone(),
        aver_rt::AverList::empty(),
    );
    let fnMap = crate::aver_generated::domain::resolver::calls::buildFnMap(
        resolvedFns.clone(),
        HashMap::new(),
        0i64,
    );
    let calledFns = crate::aver_generated::domain::resolver::calls::resolveCallsInFns(
        resolvedFns,
        fnMap.clone(),
        aver_rt::AverList::empty(),
    );
    let annotatedFns = crate::aver_generated::domain::resolver::fast::annotateFastFns(
        calledFns,
        fnMap,
        aver_rt::AverList::empty(),
    );
    Program {
        deps: prog.deps.clone(),
        fns: crate::aver_generated::domain::resolver::rewrite::rewriteInternalFns(
            annotatedFns,
            aver_rt::AverList::empty(),
        ),
        stmts: crate::aver_generated::domain::resolver::rewrite::rewriteInternalStmts(
            prog.stmts.clone(),
            aver_rt::AverList::empty(),
        ),
    }
}

pub mod calls;

pub mod core;

pub mod fast;

pub mod rewrite;