CS 421: Programming Languages and Compilers
Machine Problem 3 (MP3)
MP3 will have you write functions over a user-defined type which is Abstract Syntax Tree of MiniJava. And it will give you more experiences on recursion and pattern matching.
Again, keep in mind that your solution must define every required function, otherwise the grading program will not compile and you will receive no points for the entire homework set. For example, if you decide not to implement the function splat (for whatever reason), you need to have it defined as:
let splat x = raise (Failure(""))

IMPORTANT: Make sure that you read the README file in the grader bundle. This file contains important information.

Also, make sure you read the "Guide for Doing MPs".

Files
mp3.pdf (v1.1)
mp3grader.tar.gz (v1.1)
ast-definitions.ml (for your reference)
testing.ml (to check your and the solution's output interactively)
mp3-sol.ml