Struct gluon::compiler_pipeline::MacroValue
[−]
[src]
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>>,
[src]
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>>
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>>
self,
compiler: &mut Compiler,
thread: &Thread,
file: &str,
expr_str: &str
) -> Result<TypecheckValue<Self::Expr>>