Deadline: 5.30pm, Thursday April 15 2004.
Download the updated compiler archive for this course, and make sure you can compile and run the compiler:
ant test
Currently the tests fail because parts of the type checker aren't implemented yet.
Load up the file hobbes/statics/TypeCheck.java into your
favourite editor, and start editing!
Your job is to complete the typechecker, so that when you run the compiler on it doesn't report any errors.
Submit your modified TypeCheck.java file to the
Courses On Line system.
Appel, Chapters 6 and 11.