MimIR 0.1
MimIR is my Intermediate Representation
|
One of: More...
#include <mim/ast/ast.h>
Classes | |
class | Dom |
Public Member Functions | |
PiExpr (Loc loc, Tok::Tag tag, Ptr< Dom > &&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 517 of file ast.h.
References mim::ast::Expr::Expr(), and mim::ast::Node::loc().
|
overrideprivatevirtual |
Implements mim::ast::Expr.
Definition at line 151 of file bind.cpp.
References mim::ast::Node::loc().
Implements mim::ast::Expr.
Reimplemented from mim::ast::Expr.
Definition at line 234 of file emit.cpp.
References mim::ast::Expr::emit().
Referenced by mim::ast::LamExpr::emit_().
|
overrideprivatevirtual |
Reimplemented from mim::ast::Expr.
Definition at line 230 of file emit.cpp.
References mim::ast::Node::loc().
Referenced by mim::ast::LamExpr::emit_().
|
overrideprivatevirtual |