<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Oct 30, 2014 at 2:42 PM, Leo White <span dir="ltr"><<a href="mailto:lpw25@cam.ac.uk" target="_blank">lpw25@cam.ac.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I'd like it to go one step further and give a warning or error if<br>
inlining could not be done for some reason (e.g. .cmx file not<br>
present). I think this is very much inline with OCaml's philosophy of<br>
predictable performance -- rather than just hope that the compiler<br>
inlines something I can be certain of it.<br></blockquote></div><div><br></div><div>Agreed. And an opposite attribute to ensure a function is not inlined would be useful too.</div><div><br></div>-- <br>Jeremie
</div></div>