Hi,<br><div class="gmail_extra"><br><br><div class="gmail_quote">2012/11/19 Markus Mottl <span dir="ltr"><<a href="mailto:markus.mottl@gmail.com" target="_blank">markus.mottl@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
Hi,<br>
<br>
I've noticed that cross-module inlining does not work with the<br>
Opam-installed Core library, because the .cmx file is not installed.<br>
Note that it is not enough to install the .cmxa file, because it is<br>
only used during linking.  The compiler wouldn't know where to look<br>
for optimization information.<br>
<br>
Looking at the <a href="http://setup.ml" target="_blank">setup.ml</a> file generated by Oasis, it seems that Oasis<br>
is the culprit, but I thought it would be important to know for other<br>
Core users if they experience bad performance.<br>
<br>
Sylvain, is there anything one has to put in the _oasis file to<br>
generate correct installation code?  My guess is that all that's<br>
needed is to fix <a href="http://setup.ml" target="_blank">setup.ml</a> by installing the .cmx of packing targets<br>
(e.g. core.cmx), not just .cmx files for constituents of unpacked<br>
libraries, which seem to be handled correctly.<br></blockquote><div><br></div><div>Well, .cmx file should be installed EXCEPT if you are using packed modules...</div><div><br></div><div>The culprit is:</div><div>(not lib.lib_pack) && (* Do not install .cmx packed submodules *)<br>
</div><div>in src/oasis/OASISLibrary.ml</div><div><br></div><div>AFAIK, Core use pack module, so this is the reason why it doesn't install .cmx. </div><div><br></div><div>You can experiment installing .cmx by commenting this line. But I am really not sure this will help that much. I thought that .cmxs was a pack of .cmx so that inlining can work using what is inside this archive (contrary to .cmxa).</div>
<div><br></div><div>Maybe the inlining using .cmxs doesn't work as excepted ?</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

<br>
Regards,<br>
Markus<br>
<span class=""><font color="#888888"><br>
--<br>
Markus Mottl        <a href="http://www.ocaml.info" target="_blank">http://www.ocaml.info</a>        <a href="mailto:markus.mottl@gmail.com">markus.mottl@gmail.com</a><br>
</font></span></blockquote></div><br></div>