TC-4, Type Checking

2027-ing-TC-4 submission is Saturday, April 5th 2025 at 21:42.

TC-E is part of the core assignment of 2027-TC-4.

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, old/06-type-checking.pdf, 30-what-is-type-checking.pdf, 31-type-inference.pdf and 32-further-with-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