void compile_error(string file, int line, string err)
Description
This function is called whenever a compiling error occurs.
Nothing strange about it.
Note that previous_object cannot be trusted in ths function, because
the compiler calls this function.