This section has been updated for EPITA-2020 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, type-checking.pdf.
|• TC-4 Goals:||What this stage teaches|
|• TC-4 Samples:||See TC-4 work|
|• TC-4 Given Code:||Explanation on the provided code|
|• TC-4 Code to Write:||Explanation on what you have to write|
|• TC-4 Options:||Want some more?|
|• TC-4 FAQ:||Questions not to ask|
|• TC-4 Improvements:||Other Designs|