finished commenting compile.ml