TC-4, Type Checking

2023-TC-4 submission is Sunday, March 21st 2021 at 11:42.

TC-E is part of the core assignment of 2023-TC-4

This section has been updated for EPITA-2023 on 2021-03-07.

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 old/05-names.pdf and old/06-type-checking.pdf

• TC-4 Goals
• TC-4 Samples
• TC-4 Given Code
• TC-4 Code to Write
• TC-4 Options
• TC-4 FAQ
• TC-4 Improvements