liboverload.cc File Reference

Define exported type functions. More...

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

Include dependency graph for liboverload.cc:

Namespaces
namespace	overload
	Perform type checking, allowing function overloading.

Functions
std::pair < overfun_bindings_type *, misc::error >	overload::bind (ast::Ast &tree)
	Bind identifier uses to their definition, allowing function overloading, and return a list of potential definition sites for each function call.
misc::error	overload::types_check (ast::Ast &tree, overload::overfun_bindings_type *overfun_bindings)
	Check types allowing function overloading.

Detailed Description

Define exported type functions.