LRDE Tiger Compiler
1.34a $Id: 7fef12e1f5fa43449d667a0eec1d837c40fc1202 $
|
Implementation for type/type-checker.hh. More...
Namespaces | |
namespace | type |
Type-checking an ast::Ast. |
Functions | |
template<> | |
void | type::TypeChecker::visit_dec_header< ast::FunctionDec > (ast::FunctionDec &e) |
Visit the lhs of an ast::FunctionDec. | |
template<> | |
void | type::TypeChecker::visit_dec_body< ast::FunctionDec > (ast::FunctionDec &e) |
Visit the rhs of an ast::FunctionDec. | |
template<> | |
void | type::TypeChecker::visit_dec_header< ast::TypeDec > (ast::TypeDec &e) |
Visit the lhs of an ast::TypeDec. | |
template<> | |
void | type::TypeChecker::visit_dec_body< ast::TypeDec > (ast::TypeDec &e) |
Visit the rhs of an ast::TypeDec. |
Implementation for type/type-checker.hh.