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