They are given a functioning compiler (written in Standard ML) for a small subset of a relatively simple artificial language (a new one every year), and they ha

They are given a functioning compiler (written in Standard ML) for a small subset of a relatively simple artificial language (a new one every year), and they have to extend the compiler to support the full language. This involves changing every level (lexing, parsing, type-checking and code generation). For the final exam, they have to add a new feature to the language.