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:
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.