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 overload/type-checker.hh. More...

#include <sstream>
#include <misc/indent.hh>
#include <type/types.hh>
#include <overload/type-checker.hh>
Include dependency graph for type-checker.cc:

Namespaces

namespace  overload
 Perform type checking, allowing function overloading.

Detailed Description

Implementation for overload/type-checker.hh.