Update TypeChecker.java
To implement rejection of programs that contain type errors.
This is the legacy instance that will be decommissioned in the near future. The creation of new accounts on this instance is disabled.
See migration guidance: https://csgitlab-legacy.reading.ac.uk/uu915119/migration-guide/-/wikis/Guide
To implement rejection of programs that contain type errors.