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.

_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Reply via email to