The src/overload Directory

Namespace overload. Overloading function support.

File: liboverload.* (src/overload/)

The interface of the overload module. It exports two procedures, bind and types_check.

File: binder.* (src/overload/)

The overload::Binder visitor. Binds uses to definitions (works on syntax without objects and with overloading support). Inherits from bind::Binder.

File: type-checker.* (src/overload/)

The overload::TypeChecker visitor. Computes the types of an AST and adds type labels to the corresponding nodes (works on syntax without objects and with overloading support). Inherits from type::TypeChecker.