Compiler written in Standard ML