yulang-runtime 0.1.1

Runtime IR, validation, monomorphization, and VM support for Yulang
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

use super::*;

pub(super) fn core_value_type(ty: &RuntimeType) -> typed_ir::Type {
    match ty {
        RuntimeType::Unknown => typed_ir::Type::Unknown,
        RuntimeType::Core(ty) => ty.clone(),
        RuntimeType::Fun { param, ret } => effected_function_core_type(param, ret),
        RuntimeType::Thunk { value, .. } => core_value_type(value),
    }
}

pub(super) fn core_function_as_hir_type(ty: &RuntimeType) -> RuntimeType {
    match ty {
        RuntimeType::Core(typed_ir::Type::Fun {
            param,
            param_effect,
            ret_effect,
            ret,
        }) => RuntimeType::fun(
            effected_core_as_hir_type(param, param_effect),
            effected_core_as_hir_type(ret, ret_effect),
        ),
        other => other.clone(),
    }
}

fn effected_function_core_type(param: &RuntimeType, ret: &RuntimeType) -> typed_ir::Type {
    let (param, param_effect) = effected_core_type(param);
    let (ret, ret_effect) = effected_core_type(ret);
    typed_ir::Type::Fun {
        param: Box::new(param),
        param_effect: Box::new(param_effect),
        ret_effect: Box::new(ret_effect),
        ret: Box::new(ret),
    }
}

fn effected_core_type(ty: &RuntimeType) -> (typed_ir::Type, typed_ir::Type) {
    match ty {
        RuntimeType::Thunk { effect, value } => (core_value_type(value), effect.clone()),
        other => (core_value_type(other), typed_ir::Type::Never),
    }
}

fn effected_core_as_hir_type(value: &typed_ir::Type, effect: &typed_ir::Type) -> RuntimeType {
    let value = normalize_hir_function_type(RuntimeType::core(value.clone()));
    let effect = project_runtime_effect(effect);
    if should_thunk_effect(&effect) {
        RuntimeType::thunk(effect, value)
    } else {
        value
    }
}