<div dir="ltr">woops, i've been corrected, this is a total non issue, <div><br></div><div style>pardon the noise. </div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Sep 16, 2013 at 3:59 PM, Carter Schonwald <span dir="ltr"><<a href="mailto:carter.schonwald@gmail.com" target="_blank">carter.schonwald@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Its come to my attention that maybe, either, and its new sibling bool, all lack the <div>INLINEABLE attribute, or its more aggressive sibling INLINE</div>
<div><br></div><div>this seems like one of those operations where inlining in client use sites is a good option to have, and currently not possible!</div>
<div><br></div><div>theres probably other stuff that would benefit from an INLINEABLE pragma in base,</div><div>but this is an obvious, simple, "easy win" that I noticed when Oliver's patch got merged into base.</div>
<div><br></div><div>Thoughts?</div><div>Time scale: sometime this week? (ghc 7.8 merge window is landing!)</div><div><br></div><div>cheers</div></div>
</blockquote></div><br></div>