In this set of assignments, published on WebLab, we exercise the definition of simple type constraints in Statix following the material of Lecture 4.
You can make the assignments directly in WebLab, but we recommend following the instructions to set up a Spoofax project to make the assignments in Spoofax.
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.