TC-A, Ad Hoc Polymorphism (Function Overloading)ΒΆ

TC-A is an optional assignment.

This section has been updated for EPITA-2009 on 2007-04-26.

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.

Relevant lecture notes include: names.pdf.