Skip to content
GitLab
Explore
Sign in
Register
student-projects
bamapro-2019-ss
Issues
#19
Improve error messages generated by the specification checks
This includes:
More elaborate error messages if a type is missing, ...
... or wrong
Improving the type compatibility checker