Thorin 1.9.0
The Higher ORder INtermediate representation
|
#include <thorin/fe/ast.h>
Public Member Functions | |
IdPtrn (Dbg dbg, bool rebind, const Def *type) | |
void | bind (Scopes &, const Def *, bool rebind=false) const override |
const Def * | type (World &, Def2Fields &) const override |
Public Member Functions inherited from thorin::Ptrn | |
Ptrn (Dbg dbg, bool rebind, const Def *type) | |
virtual | ~Ptrn () |
Dbg | dbg () const |
Loc | loc () const |
Sym | sym () const |
bool | rebind () const |
bool | is_anonymous () const |
Additional Inherited Members | |
Protected Attributes inherited from thorin::Ptrn | |
Dbg | dbg_ |
bool | rebind_ |
const Def * | type_ |
|
overridevirtual |
Implements thorin::Ptrn.
Definition at line 16 of file ast.cpp.
References thorin::Scopes::bind(), thorin::Ptrn::dbg(), and thorin::Ptrn::rebind().
|
overridevirtual |
Implements thorin::Ptrn.
Definition at line 32 of file ast.cpp.
References thorin::Ptrn::loc(), thorin::World::mut_infer_type(), thorin::Infer::set(), and thorin::Ptrn::type_.