The src/overload Directory

Namespace overload, delivered for TC-EXTS. Overloading function support.

File: local.am (src/overload/)

This is a Makefile configuration relative to the src/overload/ directory. It is responsible for the integration into the libtc library with everything exported from the overload module.

File: liboverload.* (src/overload/)

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

File: tasks.* (src/overload/)

Tasks related to the overload module (see: The src/task Directory).

---

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: over-table.* (src/overload/)

The overload::OverTable storage. Checks & translates definitions associated to a symbol (in overload context).

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.