Next: , Previous: , Up: Compiler Stages   [Contents][Index]


4.12 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.