Added several printing functions to compile.ml
Merge commit 'de1395d'