Updates

• Mar 4 - Some public tests for project 2 are available.
• Feb 29 - Added reflexivity for is_subtype. Clarified lca_class and castable behavior when given the same class/type.
• Feb 27 - Fixed typo (replaced lub with lca).
• Feb 25 - Forbid class from being its own ancestor in the inheritance hierarchy.
• Feb 22 - Renamed lookup_class to defined_class, and changed to return a boolean.
• Feb 22 - Clarified that no class named bot may be defined.
• Feb 16 - Fixed main.ml to print yes or no depending on whether typechecking succeds or not.

Project writeup

The writeup for this project is available as a pdf file: p2.pdf.

Here is the code skeleton for the project: p2.tar.gz.

Here are some public tests.