TC-A, Ad Hoc Polymorphism (Function Overloading)

TC-A is an additional assignment.

At the end of this stage, the compiler must be able to resolve overloaded function calls. These features are triggered by the options --overfun-bindings-compute and --overfun-types-compute/-O. This extension can be combined using --c-overload.

Relevant lecture notes include old/05-names.pdf.