TC-4, Type Checking

2026-ing-TC-4 submission is Saturday, April 6th 2024 at 21:42.

TC-E is part of the core assignment of 2026-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 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