In this set of assignments, published on WebLab, we exercise the definition of simple type constraints in Statix following the material of Lecture 4.
The template for the assignments this week is: given this language (the syntax definition of which you can find in the ‘test data’ of the assignment) define the given predicate (e.g. typeOfExp) for all the constructs of the language such that all tests succeed. The assignment text gives a high-level explanation of the expected properties of operators. The tests provide concrete examples.