TC-4, Type CheckingΒΆ

2021-TC-4 submission is Sunday, March 31st 2019 at 11:42.

TC-E is part of the mandatory assignment of 2021-TC-4

This section has been updated for EPITA- 2021 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 and type-checking.pdf.