<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">On 30/10/2014 17:15, Jeremie Dimino
wrote:<br>
</div>
<blockquote
cite="mid:CANhEzE4MqC+fJTyyH7Ad+mcjCVEb-RssWtNgg4DLGgbjmpM_uA@mail.gmail.com"
type="cite">
<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 moz-do-not-send="true"
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>
</blockquote>
Why would you need something like that ?<br>
-- <br>
Pierre<br>
</body>
</html>