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

4.8 TC-4, Type Checking

2020-TC-4 submission is Sunday, May 25th 2018 at 11:42.
TC-E is part of the mandatory assignment of 2020-TC-4.

This section has been updated for EPITA-2020 on 2016-01-27.

At the end of this stage, the compiler type checks Tiger programs, and annotates the AST. Clear error messages are required.

Relevant lecture notes include names.pdf, type-checking.pdf.