CSC 548: Homework 2

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/ 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 file to the Courses On Line system.


Appel, Chapters 6 and 11.