<div dir="ltr"><div class="gmail_extra">Hi,</div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jul 30, 2015 at 1:22 PM, Joachim Breitner <span dir="ltr"><<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
</span>But INLINABLE has its own semantics (i.e. “do retain a copy of the<br>
RHS”), and NOINLNE does, as far as I know, not imply this.</blockquote><div><br></div><div>Ok.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">But maybe your idea works with<br>
<br>
NOINLINE[n]  becomes MAY_INLINE_FROM[n]<br>
NOINLINE[~n] becomes MAY_INLINE_BEFORE[n] </blockquote><div><br></div><div>Even better.</div><div><br></div></div></div><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">INLINE[n]    becomes MUST_INLINE_FROM[n]<br>
INLINE[~n]   becomes MUST_INLINE_BEFORE[n]<br></blockquote><div><br></div><div><div class="gmail_extra"><div class="gmail_quote">I added this option, without the `MUST_` (it doesn't add much in my opinion), as proposal 3 to <a href="https://ghc.haskell.org/trac/ghc/wiki/Proposal/SelfExplinatoryInlinePragmas">https://ghc.haskell.org/trac/ghc/wiki/Proposal/SelfExplinatoryInlinePragmas</a>..</div><div class="gmail_quote"><br></div><div class="gmail_quote">Anyone have other suggestions?</div></div><div class="gmail_extra"><div class="gmail_quote"></div></div></div><div><br></div><div>Thomas</div></div></div></div>