LRDE Tiger Compiler  1.34a $Id: 7fef12e1f5fa43449d667a0eec1d837c40fc1202 $
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
type-checker.cc File Reference

Implementation for type/type-checker.hh. More...

#include <ast/all.hh>
#include <type/types.hh>
#include <type/type-checker.hh>
Include dependency graph for type-checker.cc:

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.

Detailed Description

Implementation for type/type-checker.hh.