Assignment 4. Abstract Syntax Generation

Programming exercise described in Appel's Modern Compiler Implementation in ML, Chapter 4, on page 100 - 101. The files mentioned there are in the /c/cs421/as/as4 directory on all zoo machines. Notice that my version of absyn.sml is slightly different from the one appeared in Appel's book---please strictly follow the datatype definitions defined in my version of absyn.sml!

You need to submit the following two files: README for the documentation and tiger.grm for the new parser. The ML-Yacc manual can be found here. Some sample tiger programs can be found in the /c/cs421/as/testcases directory on the zoo machines.

Extra Credits: None.