mamba 0.3.6

A transpiler which converts Mamba files to Python 3 files
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

use std::convert::TryFrom;

use crate::check::constrain::constraint::builder::ConstrBuilder;
use crate::check::constrain::constraint::expected::Expect::Type;
use crate::check::constrain::constraint::expected::Expected;
use crate::check::constrain::generate::{Constrained, generate};
use crate::check::constrain::generate::definition::id_from_var;
use crate::check::constrain::generate::env::Environment;
use crate::check::context::Context;
use crate::check::name::Name;
use crate::check::result::TypeErr;
use crate::parse::ast::{AST, Node};

pub fn gen_resources(
    ast: &AST,
    env: &Environment,
    ctx: &Context,
    constr: &mut ConstrBuilder,
) -> Constrained {
    match &ast.node {
        Node::With { resource, alias: Some((alias, mutable, ty)), expr } => {
            constr.add("with alias", &Expected::from(resource), &Expected::from(alias), env);
            constr.add("with resource", &Expected::from(resource), &Expected::any(resource.pos), env);

            if let Some(ty) = ty {
                let ty_exp = Type { name: Name::try_from(ty)? };
                constr.add("with alias type", &Expected::from(resource), &Expected::new(ty.pos, &ty_exp), env);
            }

            let resource_env = generate(resource, &env.is_destruct_mode(true), ctx, constr)?
                .is_destruct_mode(false)
                .is_def_mode(true);

            constr.branch_point();
            let ty = if let Some(ty) = ty { Some(Name::try_from(ty)?) } else { None };
            let resource_env = id_from_var(alias, &ty, &Some(alias.clone()), *mutable, ctx, constr, &resource_env)?;
            generate(expr, &resource_env.is_def_mode(false), ctx, constr)?;

            Ok(env.clone())
        }
        Node::With { resource, expr, .. } => {
            constr.add("with", &Expected::from(resource), &Expected::any(resource.pos), env);

            let resource_env = generate(resource, env, ctx, constr)?;
            generate(expr, &resource_env, ctx, constr)?;
            Ok(env.clone())
        }

        _ => Err(vec![TypeErr::new(ast.pos, "Expected resources")])
    }
}