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