Struct gluon::compiler_pipeline::TypecheckValue

pub struct TypecheckValue<E> {
    pub expr: E,
    pub typ: ArcType,
}

Result type of successful typechecking

Fields

expr: E

typ: ArcType

Trait Implementations

impl<E, Extra> Compileable<Extra> for TypecheckValue<E> where
    E: Borrow<SpannedExpr<Symbol>>, 

type Expr = E

fn compile(
    self,
    compiler: &mut Compiler,
    thread: &Thread,
    filename: &str,
    expr_str: &str,
    _: Extra
) -> Result<CompileValue<Self::Expr>>