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

use super::*;

pub(super) fn reject_non_runtime_type(
    ty: &typed_ir::Type,
    source: TypeSource,
) -> RuntimeResult<()> {
    if contains_non_runtime_type(ty) {
        return Err(RuntimeError::NonRuntimeType {
            ty: ty.clone(),
            source,
        });
    }
    Ok(())
}

pub(super) fn reject_non_runtime_hir_type(
    ty: &RuntimeType,
    source: TypeSource,
) -> RuntimeResult<()> {
    match ty {
        RuntimeType::Unknown => Ok(()),
        RuntimeType::Core(ty) => reject_non_runtime_type(ty, source),
        RuntimeType::Fun { param, ret } => {
            reject_non_runtime_hir_type(param, source)?;
            reject_non_runtime_hir_type(ret, source)
        }
        RuntimeType::Thunk { effect, value } => {
            if contains_non_runtime_effect_type(effect) {
                return Err(RuntimeError::NonRuntimeType {
                    ty: effect.clone(),
                    source,
                });
            }
            reject_non_runtime_hir_type(value, source)
        }
    }
}