type-checker.hh File Reference

Checking/translating an OverTiger program in a Tiger program. More...

#include <type/types.hh>
#include <type/type-checker.hh>
#include <overload/binder.hh>

Include dependency graph for type-checker.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	overload::TypeChecker

Namespaces
namespace	overload
	Perform type checking, allowing function overloading.

Detailed Description

Checking/translating an OverTiger program in a Tiger program.