MimIR 0.1
MimIR is my Intermediate Representation
|
dom -> codom
More...
#include <mim/ast/ast.h>
Public Member Functions | |
ArrowExpr (Loc loc, Ptr< Expr > &&dom, Ptr< Expr > &&codom) | |
![]() | |
const Def * | emit (Emitter &) const |
![]() | |
Loc | loc () const |
void | dump () const |
Private Member Functions | |
void | bind (Scopes &) const override |
const Def * | emit_decl (Emitter &, const Def *type) const override |
void | emit_body (Emitter &, const Def *decl) const override |
std::ostream & | stream (Tab &, std::ostream &) const override |
const Def * | emit_ (Emitter &) const override |
Additional Inherited Members | |
enum class | Prec { Err , Bot , Where , Arrow , Pi , App , Extract , Lit } |
static constexpr bool | is_rassoc (Prec p) |
![]() | |
Expr (Loc loc) | |
![]() | |
Node (Loc loc) | |
virtual | ~Node () |
Definition at line 453 of file ast.h.
References mim::ast::Expr::Expr(), and mim::ast::Node::loc().
|
overrideprivatevirtual |
Implements mim::ast::Expr.
Implements mim::ast::Expr.
Reimplemented from mim::ast::Expr.
Definition at line 196 of file emit.cpp.
References mim::ast::Expr::emit().
|
overrideprivatevirtual |
Reimplemented from mim::ast::Expr.
Definition at line 192 of file emit.cpp.
References mim::ast::Node::loc().
|
overrideprivatevirtual |