SE580: Homework 8

Deadline: 5.30pm, Thursday 6 November 2003.


Download and unpack the interpreter archive for this course, and make sure you can compile and run the interpreter.

When you run the interpreter, you will get messages saying "Tests failed". Your homework is to get rid of these messages!

Note that the typechecker compiles, but it does not check programs which use generics correctly.

This week, the problem is that the dynamic and static semantics of Hobbes is not complete. It is missing some code for dealing with type variables. You should edit hobbes/dynamics/ and hobbes/statics/ to finish the interpreter.

You should add comments to the code, indicating which edits you made, for example:

  // Edited by Wilma Flintstone:
  print ("hello");
  // End of edits.

Once you have a working edited version of hobbes/dynamics/ and hobbes/statics/, you should create a zip archive containing that file, plus any other files you edited, and submit it using the Course OnLine system.