COP 5621 - Homework 4 - Type Checker

Due Wednesday, November 13

My /homes/smithg/javatools/tiger/chap5 directory contains much of the needed type checker code:

You must handle mutually recursive function definitions. But the following are all completely optional:

Some examples of these are included in test2.tig and test2.out.