Thorin 1.9.0
The Higher ORder INtermediate representation
|
.ax ptrn: type = value;
More...
#include <thorin/ast/ast.h>
Classes | |
class | Alias |
Public Member Functions | |
AxiomDecl (Loc loc, Dbg dbg, std::deque< Ptrs< Alias > > &&subs, Ptr< Expr > &&type, Dbg normalizer, Tok curry, Tok trip) | |
Dbg | dbg () const |
const auto & | subs () const |
size_t | num_subs () const |
const auto & | sub (size_t i) const |
const Expr * | type () const |
Dbg | normalizer () const |
Tok | curry () const |
Tok | trip () const |
void | bind (Scopes &) const override |
void | emit (Emitter &) const override |
std::ostream & | stream (Tab &, std::ostream &) const override |
Public Member Functions inherited from thorin::ast::Decl | |
Ref | def () const |
Public Member Functions inherited from thorin::ast::Node | |
Loc | loc () const |
void | dump () const |
Additional Inherited Members | |
Protected Member Functions inherited from thorin::ast::ValDecl | |
ValDecl (Loc loc) | |
Protected Member Functions inherited from thorin::ast::Decl | |
Decl (Loc loc) | |
Protected Member Functions inherited from thorin::ast::Node | |
Node (Loc loc) | |
virtual | ~Node () |
Protected Attributes inherited from thorin::ast::Decl | |
Ref | def_ = nullptr |
|
overridevirtual |
Implements thorin::ast::ValDecl.
Definition at line 225 of file bind.cpp.
References thorin::ast::Node::loc().
|
inline |
Definition at line 752 of file ast.h.
Referenced by thorin::ast::AxiomDecl::Alias::bind().
|
overridevirtual |
Implements thorin::ast::ValDecl.
Definition at line 332 of file emit.cpp.
References thorin::error(), and thorin::Axiom::infer_curry_and_trip().
|
overridevirtual |
Implements thorin::ast::Node.
Definition at line 161 of file stream.cpp.
References thorin::print().
|
inline |