Cross-module inlining fails

Markus Mottl markus.mottl at gmail.com
Mon Nov 19 17:23:32 GMT 2012


Hi,

I've noticed that cross-module inlining does not work with the
Opam-installed Core library, because the .cmx file is not installed.
Note that it is not enough to install the .cmxa file, because it is
only used during linking.  The compiler wouldn't know where to look
for optimization information.

Looking at the setup.ml file generated by Oasis, it seems that Oasis
is the culprit, but I thought it would be important to know for other
Core users if they experience bad performance.

Sylvain, is there anything one has to put in the _oasis file to
generate correct installation code?  My guess is that all that's
needed is to fix setup.ml by installing the .cmx of packing targets
(e.g. core.cmx), not just .cmx files for constituents of unpacked
libraries, which seem to be handled correctly.

Regards,
Markus

-- 
Markus Mottl        http://www.ocaml.info        markus.mottl at gmail.com



More information about the core mailing list