We provide a few test cases: you must write your own tests. Writing tests is part of the project. Do not just copy test cases from other groups, as you will not understand why they were written.
The initial test suite is available for download at tests.tgz. It contains the following directories:
These programs are correct.
These programs have bind mismatches.
These programs have syntactial errors.
These programs contain type mismatches.