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.

• TC-4 Goals:  What this stage teaches
• TC-4 Samples:  See TC-4 work
• TC-4 Given Code:  Explanation on the provided code
• TC-4 Code to Write:  Explanation on what you have to write
• TC-4 Options:  Want some more?
• TC-4 FAQ:  Questions not to ask
• TC-4 Improvements:  Other Designs