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>>