MP4 has you implement the second step of the inferencer: the unification algorithm unify that solves constraints generated by the
inferencer.
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".
|