You could try compiling a native OCaml compiler executable with profiling option (-p) (setting that up might be a pain, though).<br><br>Before that you could try to only typecheck the file (option &quot;-i&quot;) to know whether it&#39;s the type-checking or code generation that is problematic. (-i causes type printing as well, so for very large types that are internally shared it can be its own source of slowness)<br>

<br>If it was in code generation, that would most likely only occur during when compiling to native code. Have you noticed the performance bottleneck with compilation to bytecode as well?<br><br>(Of course using the natively-compiled versions of your compilers will also speed up performance, but if your generated code hits one of the source of exponential behavior of the compiler you&#39;re out of luck anyway.)<br>

<br><div class="gmail_quote">On Sun, Aug 26, 2012 at 4:20 PM, Hongbo Zhang <span dir="ltr">&lt;<a href="mailto:bobzhang1988@gmail.com" target="_blank">bobzhang1988@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Hi List,<br>
   I have a file which is only 410 lines, the compilation process takes nearly 1 minutes. Before my refactoring, it&#39;s compiled very fast.<br>
   Is there a way to know which part the compiler spend most time in ?<br>
   Many Thanks<span class="HOEnZb"><font color="#888888"><br>
<br>
-- <br>
Caml-list mailing list.  Subscription management and archives:<br>
<a href="https://sympa-roc.inria.fr/wws/info/caml-list" target="_blank">https://sympa-roc.inria.fr/<u></u>wws/info/caml-list</a><br>
Beginner&#39;s list: <a href="http://groups.yahoo.com/group/ocaml_beginners" target="_blank">http://groups.yahoo.com/group/<u></u>ocaml_beginners</a><br>
Bug reports: <a href="http://caml.inria.fr/bin/caml-bugs" target="_blank">http://caml.inria.fr/bin/caml-<u></u>bugs</a><br>
<br>
</font></span></blockquote></div><br>