Update compiler.ml