Hi,

On Thu, Jul 30, 2015 at 1:22 PM, Joachim Breitner <[email protected]>
wrote:

>
> But INLINABLE has its own semantics (i.e. “do retain a copy of the
> RHS”), and NOINLNE does, as far as I know, not imply this.


Ok.


> But maybe your idea works with
>
> NOINLINE[n]  becomes MAY_INLINE_FROM[n]
> NOINLINE[~n] becomes MAY_INLINE_BEFORE[n]


Even better.

INLINE[n]    becomes MUST_INLINE_FROM[n]
> INLINE[~n]   becomes MUST_INLINE_BEFORE[n]
>

I added this option, without the `MUST_` (it doesn't add much in my
opinion), as proposal 3 to
https://ghc.haskell.org/trac/ghc/wiki/Proposal/SelfExplinatoryInlinePragmas
..

Anyone have other suggestions?

Thomas
_______________________________________________
ghc-devs mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Reply via email to