aver-lang 0.22.1

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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102

#[allow(unused_imports)]
use crate::aver_generated::domain::ast::*;
#[allow(unused_imports)]
use crate::aver_generated::domain::builtins::*;
#[allow(unused_imports)]
use crate::aver_generated::domain::eval::store::*;
#[allow(unused_imports)]
use crate::aver_generated::domain::value::*;
#[allow(unused_imports)]
use crate::*;

/// If variable not in env, try as a named function reference before falling back to a nullary variant.
#[inline(always)]
pub fn evalVarFallback(name: AverStr, fns: &FnStore) -> Result<Val, AverStr> {
    crate::cancel_checkpoint();
    match crate::aver_generated::domain::eval::store::lookupFnOption(fns, name.clone()) {
        Some(fd) => Ok(crate::aver_generated::domain::value::Val::ValFnRef(
            fd.name.clone(),
        )),
        None => match crate::aver_generated::domain::builtins::splitDotted(name.clone()) {
            Some(_) => Ok(crate::aver_generated::domain::value::Val::ValVariant(
                crate::aver_generated::domain::ast::ctorNameToTag(name.clone()),
                name,
                aver_rt::AverList::empty(),
            )),
            None => Err(aver_rt::AverStr::from({
                let mut __b = {
                    let mut __b = aver_rt::Buffer::with_capacity((36i64) as usize);
                    __b.push_str(&AverStr::from("undefined variable: "));
                    __b
                };
                __b.push_str(&aver_rt::AverStr::from(aver_rt::aver_display(&(name))));
                __b
            })),
        },
    }
}

/// Internal prefix used to distinguish ? propagation from evaluator runtime errors.
pub fn propagationPrefix() -> AverStr {
    crate::cancel_checkpoint();
    AverStr::from("__aver_prop__:")
}

/// Mark a language-level Result.Err so function boundaries can convert it back into a value.
pub fn wrapPropagatedError(msg: AverStr) -> AverStr {
    crate::cancel_checkpoint();
    (crate::aver_generated::domain::eval::common::propagationPrefix() + &msg)
}

/// Return the propagated payload when the evaluator error is an internal ? marker.
#[inline(always)]
pub fn unwrapPropagatedError(err: AverStr) -> Option<AverStr> {
    crate::cancel_checkpoint();
    let prefix = crate::aver_generated::domain::eval::common::propagationPrefix();
    if err.starts_with(&*prefix) {
        Some(
            (aver_rt::string_slice(
                &err,
                (prefix.chars().count() as i64),
                (err.chars().count() as i64),
            ))
            .into_aver(),
        )
    } else {
        None
    }
}

/// Catch internal ? propagation at a function boundary and turn it back into Result.Err(value).
#[inline(always)]
pub fn normalizeFnReturn(result: &Result<Val, AverStr>) -> Result<Val, AverStr> {
    crate::cancel_checkpoint();
    match result.clone() {
        Ok(v) => Ok(v),
        Err(err) => {
            match crate::aver_generated::domain::eval::common::unwrapPropagatedError(err.clone()) {
                Some(msg) => Ok(crate::aver_generated::domain::value::Val::ValErr(
                    std::sync::Arc::new(crate::aver_generated::domain::value::Val::ValStr(msg)),
                )),
                None => Err(err),
            }
        }
    }
}

/// Look up a record field by name.
#[inline(always)]
pub fn lookupField(
    mut fields: aver_rt::AverList<(AverStr, Val)>,
    mut name: AverStr,
) -> Result<Val, AverStr> {
    loop {
        crate::cancel_checkpoint();
        return aver_list_match!(fields, [] => Err((AverStr::from("unknown field: ") + &name)), [pair, rest] => { match pair {
            (k, v) => if (k == name) { Ok(v) } else { {
            fields = rest;
            continue;
        } }
        } });
    }
}