Struct gluon::compiler_pipeline::MacroValue

pub struct MacroValue<E> {
    pub expr: E,
}

Result type of successful macro expansion

Fields

expr: E

Trait Implementations

impl<E> Typecheckable for MacroValue<E> where
    E: BorrowMut<SpannedExpr<Symbol>>, 

type Expr = E

fn typecheck_expected(
    self,
    compiler: &mut Compiler,
    thread: &Thread,
    file: &str,
    expr_str: &str,
    expected_type: Option<&ArcType>
) -> Result<TypecheckValue<Self::Expr>>

fn typecheck(
    self,
    compiler: &mut Compiler,
    thread: &Thread,
    file: &str,
    expr_str: &str
) -> Result<TypecheckValue<Self::Expr>>