<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Oct 30, 2014 at 4:27 PM, Mark Shinwell <span dir="ltr"><<a href="mailto:mark@three-tuns.net" target="_blank">mark@three-tuns.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">> Why would you need something like that ?<br>
<br>
</span>For a function where 99% of the time it takes a short code path, and for<br>
1% of the time takes the long one, it's probably going to give better<br>
cache performance if the 1% code path is taken out into another,<br>
non-inlinable function.<br></blockquote></div><div class="gmail_extra"><br></div>Yeah, for instance Hashtbl.find and growing the table.<br clear="all"><div><br></div>-- <br>Jeremie
</div></div>