CS 421: Programming Languages and Compilers
Machine Problem 5 (MP5)

ML5 has you implement an interpreter for PicoML by giving an implementation of a transition semantics for CPS . Keep in mind that your solution must alos produce ocmal code for a lexer that is syntactically correct and type correct. Otherwise the grading program will not compile and you will receive no points for the entire homework set.

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
mp5.pdf
mp5.tar.gz
mp5-sol.ml