Marc Weber wrote: > Another question: Does ml provide some profiling ? Or how do you find > out where the compiler is spending most time? > You can pass the '-timing' flag to the compiler to get it to dump times spent in the different compiler passes.